An abstract model for proving safety of autonomous urban traffic

DOI10.1016/j.tcs.2018.05.028zbMath1400.68126OpenAlexW4256369226WikidataQ129377780 ScholiaQ129377780MaRDI QIDQ1786569

Maike Schwammberger

Publication date: 24 September 2018

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2018.05.028

zbMATH Keywords

timed automataautonomous carsurban trafficcollision freedommulti-dimensional spatial logicvirtual lanes

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 (1)

Autonomous vessels: state of the art and potential opportunities in logistics

Uses Software

• Isabelle/HOL
• Uppaal
• Z

Cites Work

• Unnamed Item
• Model checking duration calculus: a practical approach
• A calculus of durations
• A theory of timed automata
• Isabelle/HOL. A proof assistant for higher-order logic
• Undecidability Results for Multi-Lane Spatial Logic
• Proving Safety of Traffic Manoeuvres on Country Roads
• Efficient algorithms for collision avoidance at intersections
• Component based design of hybrid systems
• An Abstract Model for Proving Safety of Autonomous Urban Traffic
• Verification of cooperating traffic agents
• No Need Knowing Numerous Neighbours
• Requirements Validation for Hybrid Systems
• Verified hybrid controllers for automated vehicles
• Formalising a Hazard Warning Communication Protocol with Timed Automata
• 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