2023
- Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis. IEEE 26th International Conference on Intelligent Transportation Systems (ITSC), 2023 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 Finkeldei joined the Cyber-Physical Systems Group as a Ph.D. candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in October 2022. For his Bachelor's degree, he studied Mechanical Engineering at RWTH Aachen University. Subsequently, he obtained two Master's degrees: At RWTH Aachen University, he completed Automation Engineering with a focus on optimal control. He complemented this with a Master's degree in Management Science and Engineering at Tsinghua University, specializing in operations research and numerical optimization. Due to his academic achievements, he was accepted into the German Academic Scholarship Foundation.
His research interests include the automatic testing and falsification of autonomous vehicles, and microscopic traffic simulation. Methodologically, this involves, e.g., linking temporal logic with numerical optimization, and the data-driven calibration of human driver models.
I am continuously looking for self-motivated students who want to work in my research area. If you are interested in writing your thesis or working on a practical project, please email me your CV, transcript, and a concise statement of motivation.
Open positions
Ongoing
Finished