Proving Safety of Traffic Manoeuvres on Country Roads

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

Mathematics Subject Classification ID

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

• 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