Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems. - Florian Lercher; Matthias Althoff (CAV (3), 2024)

Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking. - Florian Lercher; Matthias Althoff (IV, 2024)

Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems - Artifact. - Florian Lercher; Matthias Althoff (Zenodo, 2024)