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.
G. Behrmann, A. David & K. G. Larsen (2004):
A Tutorial on Uppaal.
In: Marco Bernardo & Flavio Corradini: 4th Intern. School on Formal Methods for the Design of Computer, Communication, and Software Systems.
Springer,
doi:10.1007/978-3-540-30080-9_7.
Andreas Berre Eriksen, Chao Huang, Jan Kildebogaard, Harry Lahrmann, Kim G. Larsen, Marco Muniz & Jakob Haahr Taankvist (2017):
Uppaal Stratego for Intelligent Traffic Lights.
In: 12th ITS European Congress.
Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis & Danny Bøgsted Poulsen (2012):
Checking and Distributing Statistical Model Checking,
pp. 449–463.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-28891-3_39.
Zhou Chaochen, C. A. R. Hoare & Anders P. Ravn (1991):
A calculus of durations.
Information Processing Letters 40(5),
pp. 269–276,
doi:10.1016/0020-0190(91)90122-X.
Edmund M. Clarke & E. Allen Emerson (1982):
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic.
In: Logic of Programs, Workshop.
Springer-Verlag,
London, UK, UK,
pp. 52–71,
doi:10.1007/BFb0025774.
Available at http://dl.acm.org/citation.cfm?id=648063.747438.
W. Damm, H. Hungar & E.-R. Olderog (2006):
Verification of Cooperating Traffic Agents.
International Journal of Control 79(5),
pp. 395–421,
doi:10.1080/00207170600587531.
Alexandre David, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikučionis & Jakob Haahr Taankvist (2015):
Uppaal Stratego.
In: Christel Baier & Cesare Tinelli: Tools and Algorithms for the Construction and Analysis of Systems,
Lecture Notes in Computer Science 9035.
Springer Berlin Heidelberg,
pp. 206–211,
doi:10.1007/978-3-662-46681-0_16.
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.
Luc C. G. J. M. Habets, Pieter J. Collins & Jan H. van Schuppen (2006):
Reachability and control synthesis for piecewise-affine hybrid systems on simplices.
IEEE Trans. Automat. Contr. 51(6),
pp. 938–948,
doi:10.1109/TAC.2006.876952.
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, 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,
doi:10.1007/978-3-642-24559-6_28.
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.
Kim Guldstrand Larsen, Marius Mikučionis & Jakob Haahr Taankvist (2015):
Safe and Optimal Adaptive Cruise Control,
pp. 260–277.
Springer International Publishing,
Cham,
doi:10.1007/978-3-319-23506-6_17.
Sven Linker (2015):
Proofs for Traffic Safety – Combining Diagrams and Logic.
University of Oldenburg.
Sven Linker (2017):
Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL.
In: Nadia Polikarpova & Steve Schneider: Integrated Formal Methods.
Springer International Publishing,
Cham,
pp. 34–49,
doi:10.1007/978-3-319-66845-1_3.
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.
J. Lygeros, D.N. Godbole & S.S. Sastry (1998):
Verified hybrid controllers for automated vehicles.
IEEE Transactions on Automatic Control 43(4),
pp. 522–539,
doi:10.1109/9.664155.
Thomas Moor, Jörg Raisch & Siu O'Young (2002):
Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations.
Discrete Event Dynamic Systems 12(1),
pp. 83–107,
doi:10.1023/A:1013339920783.
Ben Moszkowski (1985):
A Temporal Logic for Multilevel Reasoning About Hardware.
Computer 18(2),
pp. 10–19,
doi:10.1109/MC.1985.1662795.
T. Nipkow, L.C. Paulson & M. Wenzel (2003):
Isabelle/HOL: A Proof Assistant for Higher-Order Logic.
Lecture Notes in Computer Science.
Springer Berlin Heidelberg.
Available at https://books.google.de/books?id=xwdqCQAAQBAJ.
Ernst Rüdiger Olderog & Maike Schwammberger (2017):
Formalising a Hazard Warning Communication Protocol with Timed Automata.
In: Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay & Radu Mardare: Models, Algorithms, Logics and Tools,
LNCS 10460.
Springer,
pp. 640–660,
doi:10.1007/978-3-642-39698-4_12.
U. Ozguner, C. Stiller & K. Redmill (2007):
Systems for Safety and Autonomous Behavior in Cars: The DARPA Grand Challenge Experience.
Proceedings of the IEEE 95(2),
pp. 397–412,
doi:10.1109/JPROC.2006.888394.
J. P. Queille & J. Sifakis (1982):
Specification and verification of concurrent systems in CESAR,
pp. 337–351.
Springer,
doi:10.1007/3-540-11494-7_22.
Maike Schwammberger (2017):
Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres.
In: Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017.,
pp. 59–74,
doi:10.4204/EPTCS.257.7.
M. Werling, T. Gindele, D. Jagszent & L. Groll (2008):
A robust algorithm for handling moving traffic in urban scenarios.
In: 2008 IEEE Intelligent Vehicles Symposium,
pp. 1108–1112,
doi:10.1109/IVS.2008.4621260.