Florian Lercher

According to our database, Florian Lercher authored at least 2 papers in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking.

Florian Lercher, Matthias Althoff

Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems.

Florian Lercher, Matthias Althoff

Proceedings of the Computer Aided Verification - 36th International Conference, 2024