Proving Safety of Traffic Manoeuvres on Country Roads
From MaRDI portal
Publication:2842637
DOI10.1007/978-3-642-39698-4_12zbMath1390.68429MaRDI QIDQ2842637
Martin Hilscher, Sven Linker, Ernst-Ruediger Olderog
Publication date: 16 August 2013
Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_12
90B20: Traffic problems in operations research
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Related Items
Spatial and timing properties in highway traffic, An abstract model for proving safety of autonomous urban traffic, An Abstract Model for Proving Safety of Autonomous Urban Traffic, Ernst-Rüdiger Olderog: A Life for Meaning, No Need Knowing Numerous Neighbours, Safe and Optimal Adaptive Cruise Control
Uses Software
Cites Work
- Unnamed Item
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- A calculus of durations
- A theory of timed automata
- Verification of cooperating traffic agents
- Communicating sequential processes
- Verified hybrid controllers for automated vehicles
- Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
- Formal Methods for the Design of Real-Time Systems
- Proof Theory of a Multi-Lane Spatial Logic
- Discrete supervisory control of hybrid systems based on \(l\)-complete approximations