Technische Universität München Robotics and Embedded Systems

Dipl.-Ing. Sebastian Söntges


Research Assistant

Room MI 03.07.060
Phone +
Fax +
Address Institut für Informatik VI
Technische Universität München
Boltzmannstraße 3
85748 Garching bei München

Curriculum Vitæ

I completed my Diploma degree in Electrical Engineering at Technische Universität München in 2011. Since 2014 I am PhD student in the Cyber-Physical Systems Group.

Currently, I am working on a project on formal verification of collision avoidance systems. (


Open thesis

If you are interested in writing a Bachelor or Master Thesis, please do not hesitate to contact me by e-mail or in my office.


[1] A. Rizaldi, S. Söntges, and M. Althoff. On time-memory trade-off for collision detection. In Proc. of the IEEE Intelligent Vehicles Symposium, 2015. [ .bib | .pdf ]
[2] S. Söntges and M. Althoff. Determining the nonexistence of evasive trajectories for collision avoidance systems. In Proc. of the 18th IEEE International Conference on Intelligent Transportation Systems, 2015. [ .bib | .pdf ]