Proving Safety of Traffic Manoeuvres on Country Roads

DOI10.1007/978-3-642-39698-4_12zbMath1390.68429OpenAlexW2131457664MaRDI 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

Mathematics Subject Classification ID

Traffic problems in operations research (90B20) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (6)

Ernst-Rüdiger Olderog: A Life for Meaning ⋮ No Need Knowing Numerous Neighbours ⋮ Safe and Optimal Adaptive Cruise Control ⋮ An Abstract Model for Proving Safety of Autonomous Urban Traffic ⋮ Spatial and timing properties in highway traffic ⋮ An abstract model for proving safety of autonomous urban traffic

Uses Software

• Uppaal
• Z

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

This page was built for publication: Proving Safety of Traffic Manoeuvres on Country Roads