Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder
Abstract elided by the publisher.
Related papers
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems CAV 2017
- Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development TACAS 2024
- Impala: a middleware system for managing autonomic, parallel sensor systems PPoPP 2003
- Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios OOPSLA 2026
- Temporal Stream Logic: Synthesis Beyond the Bools CAV 2019
- PathFinder: A Tool for Design Exploration CAV 2002
- JPF-SE: A Symbolic Execution Extension to Java PathFinder TACAS 2007
- Java Pathfinder at SV-COMP 2019 (Competition Contribution) TACAS 2019