Login / Signup
Florian Lercher
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Timed Automata
Temporal Logic
Formal Specification
Hybrid Systems
Top Venues
CAV (3)
IV
</>
Publications
</>
Florian Lercher
,
Matthias Althoff
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking.
IV
(2024)
Florian Lercher
,
Matthias Althoff
Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems.
CAV (3)
(2024)