Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges
DOI10.1016/j.automatica.2022.110692zbMath1519.93159OpenAlexW4360868502MaRDI QIDQ6160737
Matthias Althoff, Calin Belta, Noushin Mehdipour, Radboud Duintjer Tebbens
Publication date: 26 June 2023
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://mediatum.ub.tum.de/doc/1720092/document.pdf
formal verificationformal methodstemporal logicmonitoringmachine learningfalsificationformal synthesisautonomous driving
Automated systems (robots, etc.) in control theory (93C85) Synthesis problems (93B50) Attainable sets, reachability (93B03) Temporal logic (03B44)
Cites Work
- Unnamed Item
- Safe autonomy under perception uncertainty using chance-constrained temporal logic
- Formal methods for discrete-time dynamical systems
- Safety Analysis of Automotive Control Systems Using Multi-Modal Port-Hamiltonian Systems
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
- Verification and Control of Hybrid Systems
- Verified hybrid controllers for automated vehicles
- Avoidance Trajectories Using Reachable Sets and Parametric Sensitivity Analysis
- FaSTrack:A Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
- Monotone control systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Robust Motion Planning for Uncertain Systems With Disturbances Using the Invariant-Set Motion Planner
- Proof Theory of a Multi-Lane Spatial Logic
- Model checking of safety properties
- A formally verified motion planner for autonomous vehicles
This page was built for publication: Formal methods to comply with rules of the road in autonomous driving: state of the art and grand challenges
