Florian Lercher, M.Sc.

Florian Lercher, 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

Phone: +49 (89) 289 - 18144
Office hours: appointment by email
Room: 5607.03.034
florian.lercher@tum.de

Download vCard file from TUMonline

Curriculum Vitae

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.

Offered Thesis Topics

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:

[MA] - A Pipeline for Specification-Compliant Motion Planning Using Reachability Analysis
[MA] - On-the-Fly Extraction of Driving Corridors Using Heuristic-Based Search

Finished:

[BA] - Situation-Aware Simplification of Temporal Logic Specifications for Autonomous Vehicles

Teaching

Lecture - Fundamentals of Artificial Intelligence
- Propositional logic and first-order logic (WS 2023, WS 2024)
Practical course - Verification, Controller Synthesis, and Design of Cyber-Physical System
- Traffic rule predicates for specification-compliant reachability analysis (WS 2023, SS 2024)
Seminar - Cyber-Physical Systems
- Quantitative monitoring of signal temporal logic (SS 2024)
- Temporal logic simplification (WS 2024)

2024

Lercher, Florian; Althoff, Matthias: Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems. Computer Aided Verification (CAV), 2024, 259-281 more… BibTeX Full text ( DOI ) Full text (mediaTUM)
Lercher, Florian; Althoff, Matthias: Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking. Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2024, 1484-1491 more… BibTeX Full text ( DOI ) Full text (mediaTUM)