An Abstract Model for Proving Safety of Autonomous Urban Traffic

DOI10.1007/978-3-319-46750-4_16zbMath1401.68199OpenAlexW2521296615MaRDI QIDQ3179406

Martin Hilscher, Maike Schwammberger

Publication date: 21 December 2016

Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-46750-4_16

zbMATH Keywords

timed automataautonomous carsurban trafficcollision freedommulti-dimensional spatial logicvirtual lanesbended view

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Traffic problems in operations research (90B20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Spatial and timing properties in highway traffic ⋮ Unnamed Item ⋮ An abstract model for proving safety of autonomous urban traffic

Uses Software

• Uppaal
• Z

Cites Work

• Unnamed Item
• A calculus of durations
• A theory of timed automata
• Proving Safety of Traffic Manoeuvres on Country Roads
• Efficient algorithms for collision avoidance at intersections
• Component based design of hybrid systems
• Verification of cooperating traffic agents
• No Need Knowing Numerous Neighbours
• Formal Methods for the Design of Real-Time Systems
• Theoretical Aspects of Computing - ICTAC 2004
• Proof Theory of a Multi-Lane Spatial Logic

This page was built for publication: An Abstract Model for Proving Safety of Autonomous Urban Traffic