An abstract model for proving safety of autonomous urban traffic
DOI10.1016/J.TCS.2018.05.028zbMATH Open1400.68126OpenAlexW4256369226WikidataQ129377780 ScholiaQ129377780MaRDI QIDQ1786569FDOQ1786569
Authors: 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
Recommendations
timed automataautonomous carsurban trafficcollision freedommulti-dimensional spatial logicvirtual lanes
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Traffic problems in operations research (90B20) Logic in computer science (03B70)
Cites Work
- Formal Methods for the Design of Real-Time Systems
- A theory of timed automata
- Isabelle/HOL. A proof assistant for higher-order logic
- A calculus of durations
- Title not available (Why is that?)
- Requirements Validation for Hybrid Systems
- Efficient algorithms for collision avoidance at intersections
- Verified hybrid controllers for automated vehicles
- Model checking duration calculus: a practical approach
- Component based design of hybrid systems: a case study on concurrency and coupling
- Theoretical Aspects of Computing - ICTAC 2004
- Verification of cooperating traffic agents
- Undecidability results for multi-lane spatial logic
- Proving safety of traffic manoeuvres on country roads
- An abstract model for proving safety of autonomous urban traffic
- No need knowing numerous neighbours. Towards a realizable interpretation of MLSL
- Formalising a hazard warning communication protocol with timed automata
- Proof theory of a multi-lane spatial logic
Cited In (10)
- Safe and optimal adaptive cruise control
- Proof theory of a multi-lane spatial logic
- Autonomous vessels: state of the art and potential opportunities in logistics
- An abstract model for proving safety of autonomous urban traffic
- Proving safety of traffic manoeuvres on country roads
- Proof theory of a multi-lane spatial logic
- No need knowing numerous neighbours. Towards a realizable interpretation of MLSL
- Undecidability results for multi-lane spatial logic
- Formalising a hazard warning communication protocol with timed automata
- Spatio-temporal model-checking of cyber-physical systems using graph queries
Uses Software
This page was built for publication: An abstract model for proving safety of autonomous urban traffic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1786569)
