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)
Florian Finkeldei, M.Sc.
Technical University of Munich
Informatics 6 - Associate Professorship of Cyber Physical Systems (Prof. Althoff)
Postal address
Postal:
Boltzmannstr. 3
85748 Garching b. München
- Office hours: Appointment by E-Mail
- florian.finkeldei@tum.de
Curriculum Vitae
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.
Thesis Topics and Practical Courses
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
- Signal Temporal Logic to Graph Search file (thesis / guided research)
Ongoing
- Robustness-guided falsification of autonomous vessels (Master's thesis)
Finished
- Motion planning for a sustainable autonomous vessel (Master's thesis; co-supervisor, 2023)
- Coupling of CommonRoad and Open Traffic Simulator file (Practical course, 2023)
- Coupling of CommonRoad with OpenTrafficSim for scenario generation and human driver model verification (Bachelor's thesis, 2024)
- Real-time traffic data integration in microscopic traffic simulation (Bachelor's thesis, 2024)
- Automated labeling of traffic scenarios (Guided research, 2024)
- Automated scenario generation pipeline file (Practical course, 2024)
- Automatic conversion of metric temporal logic into robustness constraints for numerical optimization (Semester thesis, 2024)
- Modeling the decision process of unprotected left turns (Master's thesis, 2024)
- Robustness-guided falsification of autonomous vehicles file (Seminar, 2024)
- Automated criticality labeling of traffic scenarios (Bachelor's thesis, 2024)
- Data-fusion for high-fidelity driving maps (Practical course, 2024)
- Automated Scenario Handling and STL-Based Traffic Rule Interpretation for Robustness-guided Falsification of Autonomous Vehicles (Guided research, 2024)
Teaching
- Cyber-physical systems (lecture, IN2305): Continuous systems and control