@inproceedings(AFS04,
 author       = {Luca de Alfaro and Marco Faella and Mari{\"e}lle Stoelinga},
 year         = {2004},
 title        = {Linear and {{Branching Metrics}} for {{Quantitative Transition Systems}}},
 editor       = {D\'{\i}az, Josep and Juhani Karhum{\"a}ki and Arto Lepist{\"o} and Donald Sannella},
 booktitle    = {{{ICALP}}},
 series       = {LNCS},
 volume       = {3142},
 publisher    = {{Springer}},
 pages        = {97--109},
 doi          = {10.1007/978-3-540-27836-8_11},
)
@article(AD14,
 author       = {Matthias Althoff and John M Dolan},
 year         = {2014},
 title        = {Online Verification of Automated Road Vehicles Using Reachability Analysis},
 journal      = {IEEE Transactions on Robotics},
 volume       = {30},
 number       = {4},
 pages        = {903--918},
 doi          = {10.1109/TRO.2014.2312453},
)
@article(AD94,
 author       = {Rajeev Alur and David L. Dill},
 year         = {1994},
 title        = {A {{Theory}} of {{Timed Automata}}},
 journal      = {Theor. Comput. Sci.},
 volume       = {126},
 number       = {2},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@incollection(BSST09,
 author       = {Clark W. Barrett and Roberto Sebastiani and Sanjit A. Seshia and Cesare Tinelli},
 year         = {2009},
 title        = {Satisfiability Modulo Theories},
 editor       = {Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh},
 booktitle    = {Handbook of Satisfiability},
 series       = {Frontiers in Artificial Intelligence and Applications},
 volume       = {185},
 publisher    = {{IOS} Press},
 pages        = {825--885},
 doi          = {10.3233/978-1-58603-929-5-825},
)
@inproceedings(DM10,
 author       = {Alexandre Donz{\'e} and Oded Maler},
 year         = {2010},
 title        = {Robust {{Satisfaction}} of {{Temporal Logic}} over {{Real}}-{{Valued Signals}}},
 editor       = {Krishnendu Chatterjee and Thomas A. Henzinger},
 booktitle    = {{{FORMATS}}},
 series       = {LNCS},
 volume       = {6246},
 publisher    = {{Springer}},
 pages        = {92--106},
 doi          = {10.1007/978-3-642-15297-9_9},
)
@inproceedings(FP06,
 author       = {Georgios E. Fainekos and George J. Pappas},
 year         = {2006},
 title        = {Robustness of {{Temporal Logic Specifications}}},
 editor       = {Klaus Havelund and N{\'u}{\~n}ez, Manuel and Ro\c{}su, Grigore and Burkhart Wolff},
 booktitle    = {{{FATES}}},
 series       = {LNCS},
 publisher    = {{Springer}},
 pages        = {178--192},
 doi          = {10.1007/11940197_12},
)
@article(FP09,
 author       = {Georgios E. Fainekos and George J. Pappas},
 year         = {2009},
 title        = {Robustness of Temporal Logic Specifications for Continuous-Time Signals},
 journal      = {Theor. Comput. Sci.},
 volume       = {410},
 number       = {42},
 pages        = {4262--4291},
 doi          = {10.1016/j.tcs.2009.06.021},
)
@inproceedings(FH05,
 author       = {Martin Fr{\"a}nzle and Michael R. Hansen},
 year         = {2005},
 title        = {A Robust Interpretation of Duration Calculus},
 editor       = {{Dang Van Hung} and {Martin Wirsing}},
 booktitle    = {{{ICTAC}}},
 series       = {LNCS},
 volume       = {3722},
 publisher    = {{Springer}},
 pages        = {257--271},
 doi          = {10.1007/11560647_17},
)
@inproceedings(FHO15,
 author       = {Martin Fr{\"a}nzle and Michael R Hansen and Heinrich Ody},
 year         = {2015},
 title        = {No {{Need Knowing Numerous Neighbours}} - {{Towards}} a {{Realizable Interpretation}} of {{MLSL}}},
 editor       = {Roland Meyer and Andr{\'e} Platzer and Heike Wehrheim},
 booktitle    = {Correct {{System Design}}},
 series       = {LNCS},
 volume       = {9360},
 publisher    = {{Springer}},
 pages        = {152--171},
 doi          = {10.1007/978-3-319-23506-6_11},
)
@inproceedings(GHJ97,
 author       = {Vineet Gupta and Thomas A. Henzinger and Radha Jagadeesan},
 year         = {1997},
 title        = {Robust {{Timed Automata}}},
 editor       = {Oded Maler},
 booktitle    = {Hybrid and {{Real}}-{{Time Systems}}},
 series       = {Lecture Notes in Computer Science},
 volume       = {1201},
 publisher    = {{Springer}},
 pages        = {331--345},
 doi          = {10.1007/BFb0014736},
)
@inproceedings(HLOR11,
 author       = {M. Hilscher and S. Linker and E.-R. Olderog and A. P. Ravn},
 year         = {2011},
 title        = {An {{Abstract Model}} for {{Proving Safety}} of {{Multi}}-{{Lane Traffic Manoeuvres}}},
 editor       = {Shengchao Qin and Zongyan Qiu},
 booktitle    = {{{ICFEM}}},
 series       = {LNCS},
 volume       = {6991},
 publisher    = {{Springer}},
 pages        = {404--419},
 doi          = {10.1007/978-3-642-24559-6_28},
)
@inproceedings(HS16,
 author       = {Martin Hilscher and Maike Schwammberger},
 year         = {2016},
 title        = {An {{Abstract Model}} for {{Proving Safety}} of {{Autonomous Urban Traffic}}},
 editor       = {Augusto Sampaio and Farn Wang},
 booktitle    = {{{ICTAC}}},
 series       = {LNCS},
 volume       = {9965},
 pages        = {274--292},
 doi          = {10.1007/978-3-319-46750-4_16},
)
@inproceedings(Kop91,
 author       = {Hermann Kopetz},
 year         = {1991},
 title        = {Event-{{Triggered Versus Time}}-{{Triggered Real}}-{{Time Systems}}},
 editor       = {Arthur I. Karshmer and J{\"u}rgen Nehmer},
 booktitle    = {Operating {{Systems}} of the 90s and {{Beyond}}},
 series       = {LNCS},
 volume       = {563},
 publisher    = {{Springer}},
 pages        = {87--101},
 doi          = {10.1007/BFb0024530},
)
@article(Koy90,
 author       = {Ron Koymans},
 year         = {1990},
 title        = {Specifying {{Real}}-{{Time Properties}} with {{Metric Temporal Logic}}},
 journal      = {Real-Time Systems},
 volume       = {2},
 number       = {4},
 pages        = {255--299},
 doi          = {10.1007/BF01995674},
)
@article(LH15,
 author       = {Sven Linker and Martin Hilscher},
 year         = {2015},
 title        = {Proof {{Theory}} of a {{Multi}}-{{Lane Spatial Logic}}},
 journal      = {Logical Methods in Computer Science},
 volume       = {11},
 number       = {3},
 doi          = {10.2168/LMCS-11(3:4)2015},
)
@inproceedings(Maz86,
 author       = {Antoni W. Mazurkiewicz},
 year         = {1986},
 title        = {Trace {{Theory}}},
 editor       = {Wilfried Brauer and Wolfgang Reisig and Grzegorz Rozenberg},
 booktitle    = {Advances in {{Petri Nets}}},
 series       = {LNCS},
 volume       = {255},
 publisher    = {{Springer}},
 pages        = {279--324},
 doi          = {10.1007/3-540-17906-2_30},
)
@inproceedings(Ody15,
 author       = {Heinrich Ody},
 year         = {2015},
 title        = {Undecidability {{Results}} for {{Multi}}-{{Lane Spatial Logic}}},
 editor       = {Martin Leucker and Camilo Rueda and Frank D. Valencia},
 booktitle    = {{{ICTAC}}},
 series       = {LNCS},
 volume       = {9399},
 publisher    = {{Springer}},
 pages        = {404--421},
 doi          = {10.1007/978-3-319-25150-9_24},
)
@phdthesis(Que13,
 author       = {Jan-David Quesel},
 year         = {2013},
 title        = {Similarity, {{Logic}}, and {{Games}} - {{Bridging Modeling Layers}} of {{Hybrid Systems}}},
 school       = {University of Oldenburg},
)
@inproceedings(RA15,
 author       = {Albert Rizaldi and Matthias Althoff},
 year         = {2015},
 title        = {Formalising Traffic Rules for Accountability of Autonomous Vehicles},
 booktitle    = {{{ITSC}}},
 publisher    = {{IEEE}},
 pages        = {1658--1665},
 doi          = {10.1109/ITSC.2015.269},
)
@misc(Sch17,
 author       = {Maike Schwammberger},
 year         = {2017},
 title        = {Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres},
 note         = {FVAV},
)
@book(Tar51,
 author       = {Alfred Tarski},
 year         = {1951},
 title        = {A Decision Method for Elementary Algebra and Geometry},
 publisher    = {{University of California Press}},
)