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. (http://www6.in.tum.de/Main/ResearchFVVKFS
- Summer Semester 2016:
- Summer Semester 2015:
- Summer Semester 2014:
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.
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 |
S. Söntges and M. Althoff.
Determining the nonexistence of evasive trajectories for collision
In Proc. of the 18th IEEE International Conference on
Intelligent Transportation Systems, 2015.
[ .bib |