Hat mitgewirkt an:
-
Using Reachability Analysis for Motion Planning of Autonomous Vehicles in Complex Traffic Situations
-
Using Reachability Analysis in Controller Synthesis for Safety-Critical Systems
-
Guaranteeing Complex Safety Specifications for Autonomous Vehicles via Reinforcement Learning with Formal Methods
-
Scalable Robust Controller Synthesis for Computing Safe Sets