Luca de Alfaro, Marco Faella & Mariëlle Stoelinga (2004):
Linear and Branching Metrics for Quantitative Transition Systems.
In: Josep Díaz, Juhani Karhumäki, Arto Lepistö & Donald Sannella: ICALP,
LNCS 3142.
Springer,
pp. 97–109,
doi:10.1007/978-3-540-27836-8_11.
Matthias Althoff & John M Dolan (2014):
Online Verification of Automated Road Vehicles Using Reachability Analysis.
IEEE Transactions on Robotics 30(4),
pp. 903–918,
doi:10.1109/TRO.2014.2312453.
Rajeev Alur & David L. Dill (1994):
A Theory of Timed Automata.
Theor. Comput. Sci. 126(2),
pp. 183–235,
doi:10.1016/0304-3975(94)90010-8.
Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia & Cesare Tinelli (2009):
Satisfiability Modulo Theories.
In: Armin Biere, Marijn Heule, Hans van Maaren & Toby Walsh: Handbook of Satisfiability,
Frontiers in Artificial Intelligence and Applications 185.
IOS Press,
pp. 825–885,
doi:10.3233/978-1-58603-929-5-825.
Alexandre Donzé & Oded Maler (2010):
Robust Satisfaction of Temporal Logic over Real-Valued Signals.
In: Krishnendu Chatterjee & Thomas A. Henzinger: FORMATS,
LNCS 6246.
Springer,
pp. 92–106,
doi:10.1007/978-3-642-15297-9_9.
Georgios E. Fainekos & George J. Pappas (2006):
Robustness of Temporal Logic Specifications.
In: Klaus Havelund, Manuel Núñez, Grigore Roşu & Burkhart Wolff: FATES,
LNCS.
Springer,
pp. 178–192,
doi:10.1007/11940197_12.
Georgios E. Fainekos & George J. Pappas (2009):
Robustness of Temporal Logic Specifications for Continuous-Time Signals.
Theor. Comput. Sci. 410(42),
pp. 4262–4291,
doi:10.1016/j.tcs.2009.06.021.
Martin Fränzle & Michael R. Hansen (2005):
A Robust Interpretation of Duration Calculus.
In: Dang Van Hung & Martin Wirsing: ICTAC,
LNCS 3722.
Springer,
pp. 257–271,
doi:10.1007/11560647_17.
Martin Fränzle, Michael R Hansen & Heinrich Ody (2015):
No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL.
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.
Vineet Gupta, Thomas A. Henzinger & Radha Jagadeesan (1997):
Robust Timed Automata.
In: Oded Maler: Hybrid and Real-Time Systems,
Lecture Notes in Computer Science 1201.
Springer,
pp. 331–345,
doi:10.1007/BFb0014736.
M. Hilscher, S. Linker, E.-R. Olderog & A. P. Ravn (2011):
An Abstract Model for Proving Safety of Multi-Lane Traffic Manoeuvres.
In: Shengchao Qin & Zongyan Qiu: ICFEM,
LNCS 6991.
Springer,
pp. 404–419,
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: ICTAC,
LNCS 9965,
pp. 274–292,
doi:10.1007/978-3-319-46750-4_16.
Hermann Kopetz (1991):
Event-Triggered Versus Time-Triggered Real-Time Systems.
In: Arthur I. Karshmer & Jürgen Nehmer: Operating Systems of the 90s and Beyond,
LNCS 563.
Springer,
pp. 87–101,
doi:10.1007/BFb0024530.
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 & Martin Hilscher (2015):
Proof Theory of a Multi-Lane Spatial Logic.
Logical Methods in Computer Science 11(3),
doi:10.2168/LMCS-11(3:4)2015.
Antoni W. Mazurkiewicz (1986):
Trace Theory.
In: Wilfried Brauer, Wolfgang Reisig & Grzegorz Rozenberg: Advances in Petri Nets,
LNCS 255.
Springer,
pp. 279–324,
doi:10.1007/3-540-17906-2_30.
Heinrich Ody (2015):
Undecidability Results for Multi-Lane Spatial Logic.
In: Martin Leucker, Camilo Rueda & Frank D. Valencia: ICTAC,
LNCS 9399.
Springer,
pp. 404–421,
doi:10.1007/978-3-319-25150-9_24.
Jan-David Quesel (2013):
Similarity, Logic, and Games - Bridging Modeling Layers of Hybrid Systems.
University of Oldenburg.
Albert Rizaldi & Matthias Althoff (2015):
Formalising Traffic Rules for Accountability of Autonomous Vehicles.
In: ITSC.
IEEE,
pp. 1658–1665,
doi:10.1109/ITSC.2015.269.