2024
- Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking. Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2024 more… BibTeX Full text (mediaTUM)
Technical University of Munich
Informatics 6 - Associate Professorship of Cyber Physical Systems (Prof. Althoff)
Postal:
Boltzmannstr. 3
85748 Garching b. München
Florian Lercher joined the Cyber Physical Systems Group as a research assistant and PhD student under the supervision of Prof. Dr.-Ing. Matthias Althoff in April 2023. He received his Bachelor's degree in Informatics from Technical University of Munich in 2020 and his Master's degree in Software Engineering from the University of Augsburg, Technical University of Munich, and Ludwig-Maximilians-Universität Munich in 2022. His research revolves around traffic rule-compliant motion planning for autonomous vehicles. In particular, he focuses on specification-compliant reachability analysis to accelerate motion planners by limiting their search space.
I am always looking for self-motivated students to solve interesting problems arising in my research areas. If you are interested in one of the currently available topics, simply send me an e-mail with your up-to-date CV and transcript of records attached. You are welcome to propose thesis topics of your own!
Currently available:
-
Ongoing: