Technische Universität München Robotics and Embedded Systems

CAR@TUM - Planning Safe Maneuvers of Automated Vehicles



A great challenge of automated vehicles is to guarantee their safety. Since automated vehicles are operating in unpredictable environments, such as road traffic, their planning methods have to deal with various uncertainties. In particular, the prediction of the future behavior of other traffic participants is a sophisticated task.


In collaboration with the BMW Group, the CAR@TUM project develops methods which can guarantee the safety of automated vehicles. To consider all unforeseeable events, these methods must be formally verified. We can accomplish this by employing reachability analysis of cyber-physical systems.

The CAR@TUM research project is structured as follows:


Student Projects

If you are interested in this research project, please contact Markus Koschi to discuss possible topics for a Bachelor or Master thesis.


[1] M. Koschi and M. Althoff. SPOT: A tool for set-based prediction of traffic participants. In Proc. of the IEEE Intelligent Vehicles Symposium, 2017. [to appear]. [ .bib ]