Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi & Roberto Vigo (2015):
A Calculus for Attribute-based Communication.
In: Proc. 30th Annual ACM Symp. on Applied Computing (SAC).
ACM,
pp. 1840–1845,
doi:10.1145/2695664.2695668.
Matthias Althoff & Silvia Magdici (2016):
Set-Based Prediction of Traffic Participants on Arbitrary Road Networks.
IEEE Trans. Intelligent Vehicles 1(2),
pp. 187–202,
doi:10.1109/TIV.2016.2622920.
Rajeev Alur & David L. Dill (1994):
A Theory of Timed Automata.
Theoretical Computer Science 126(2),
pp. 183–235,
doi:10.1016/0304-3975(94)90010-8.
Mikael Asplund & Simin Nadjm-Tehrani (2012):
Worst-case Latency of Broadcast in Intermittently Connected Networks.
Int. J. Ad Hoc Ubiquitous Comput. 11(2/3),
pp. 125–138,
doi:10.1504/IJAHUC.2012.050281.
Gerd Behrmann, Alexandre David & Kim G. Larsen (2004):
A Tutorial on Uppaal,
pp. 200–236.
Springer Berlin Heidelberg,
doi:10.1007/978-3-540-30080-9_7.
Gregor v. Bochmann, Martin Hilscher, Sven Linker & Ernst-Rüdiger Olderog (2017):
Synthesizing and verifying controllers for multi-lane traffic maneuvers.
Formal Aspects of Computing 29(4),
pp. 583–600,
doi:10.1007/s00165-017-0424-4.
Franck Cassez, Alexandre David, Emmanuel Fleury, Kim G. Larsen & Didier Lime (2005):
Efficient On-the-Fly Algorithms for the Analysis of Timed Games,
pp. 66–80.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/11539452_9.
Werner Damm, Hardi Hungar & Ernst-Rüdiger Olderog (2006):
Verification of Cooperating Traffic Agents.
International Journal of Control 79(5),
pp. 395–421,
doi:10.1080/00207170600587531.
Werner Damm, Eike Möhlmann & Astrid Rakow (2014):
Component Based Design of Hybrid Systems: A Case Study on Concurrency and Coupling.
In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control,
HSCC '14.
ACM,
New York, NY, USA,
pp. 145–150,
doi:10.1145/2562059.2562120.
Martin Fränzle, Michael R. Hansen & Heinrich Ody (2015):
No Need Knowing Numerous Neighbours.
In: Roland Meyer, André Platzer & Heike Wehrheim: Correct System Design,
LNCS 9360.
Springer,
pp. 152–171,
doi:10.1007/978-3-319-23506-6_11.
Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog & Anders P. Ravn (2011):
An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres,
pp. 404–419.
Springer Berlin Heidelberg,
doi:10.1007/978-3-642-24559-6_28.
Martin Hilscher, Sven Linker & Ernst-Rüdiger Olderog (2013):
Proving Safety of Traffic Manoeuvres on Country Roads.
In: Zhiming Liu, Jim Woodcock & Huibiao Zhu: Theories of Programming and Formal Methods,
LNCS 8051.
Springer,
doi:10.1007/978-3-642-39698-4_12.
Martin Hilscher & Maike Schwammberger (2016):
An Abstract Model for Proving Safety of Autonomous Urban Traffic.
In: Augusto Sampaio & Farn Wang: Theoretical Aspects of Computing (ICTAC),
LNCS 9965.
Springer,
pp. 274–292,
doi:10.1007/978-3-319-46750-4_16.
J. B. Kenney (2011):
Dedicated Short-Range Communications (DSRC) Standards in the United States.
Proceedings of the IEEE 99(7),
pp. 1162–1182,
doi:10.1109/JPROC.2011.2132790.
Ron Koymans (1990):
Specifying real-time properties with metric temporal logic.
Real-Time Systems 2(4),
pp. 255–299,
doi:10.1007/BF01995674.
Sven Linker (2015):
Proofs for Traffic Safety – Combining Diagrams and Logic.
University of Oldenburg.
Sarah M. Loos & André Platzer (2011):
Safe Intersections: At the Crossing of Hybrid Systems and Verification.
In: Kyongsu Yi: Intelligent Transportation Systems (ITSC),
pp. 1181–1186,
doi:10.1109/ITSC.2011.6083138.
Ben Moszkowski (1985):
A Temporal Logic for Multilevel Reasoning About Hardware.
Computer 18(2),
pp. 10–19,
doi:10.1109/MC.1985.1662795.
Heinrich Ody (2015):
Undecidability Results for Multi-Lane Spatial Logic.
In: Martin Leucker, Camilo Rueda & Frank D. Valencia: Theoretical Aspects of Computing - ICTAC,
LNCS 9399.
Springer,
pp. 404–421,
doi:10.1007/978-3-319-25150-9_24.
Heinrich Ody (2017):
Monitoring of Traffic Manoeuvres with Imprecise Information.
FVAV17.
Ernst Rüdiger Olderog, Anders P. Ravn & Rafael Wisniewski (2017):
Linking spatial and dynamic models, applied to traffic maneuvers.
In: M. Hinchey, J. P. Bowen & E.-R. Olderog: Provably Correct Systems,
NASA Monographs in SSE.
Springer,
pp. 95–120,
doi:10.1007/978-3-319-48628-4_5.
Ernst Rüdiger Olderog & Maike Schwammberger (Springer 2017, to appear):
Formalising a Hazard Warning Communication Protocol with Timed Automata.
Albert Rizaldi, Fabian Immler & Matthias Althoff (2016):
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.
In: NASA Formal Methods – 8th International Symposiuim,
pp. 175–190,
doi:10.1007/978-3-319-40648-0_14.
J. Woodcock & J. Davies (1996):
Using Z – Specification, Refinement, and Proof.
Prentice Hall.
Bingqing Xu & Qin Li (2016):
A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles.
In: 21st ICECCS,
pp. 33–42,
doi:10.1109/ICECCS.2016.014.