We stand with Ukraine  

Florian Lercher

Orcid: 0009-0007-7202-5417

According to our database1, Florian Lercher authored at least 5 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Efficiently Ensuring Traffic Rule Compliance of Motion Plans by Incorporating Scenario Knowledge.
[BibTeX]
[DOI]
Florian Lercher
,
Paul Reisenberg
,
Matthias Althoff
IEEE Trans. Intell. Transp. Syst., April, 2026

2025
Efficient Driving Corridor Extraction for Autonomous Vehicles Using Best-First Reachability Analysis.
[BibTeX]
[DOI]
Florian Lercher
,
Matthias Althoff
Proceedings of the 28th IEEE International Conference on Intelligent Transportation Systems, 2025

2024
Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems - Artifact.
[BibTeX]
[DOI]
Florian Lercher
,
Matthias Althoff
Dataset, April, 2024

Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking.
[BibTeX]
[DOI]
Florian Lercher
,
Matthias Althoff
Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems.
[BibTeX]
[DOI]
Florian Lercher
,
Matthias Althoff
Proceedings of the Computer Aided Verification - 36th International Conference, 2024


  Loading...