@inproceedings(Bartocci2018,
 author       = {Ezio Bartocci and Jyotirmoy V. Deshmukh and Alexandre Donz{\'e} and Georgios Fainekos and Oded Maler and D. Ničković and Sriram Sankaranarayanan},
 year         = {2018},
 title        = {{Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications}},
 booktitle    = {Lectures on Runtime Verification},
 doi          = {10.1007/978-3-319-75632-5_5},
)
@article(bauer2011,
 author       = {Andreas Bauer and Martin Leucker and Christian Schallhart},
 year         = {2011},
 title        = {{Runtime Verification for LTL and TLTL}},
 journal      = {ACM Trans. Softw. Eng. Methodol.},
 volume       = {20},
 doi          = {10.1145/2000799.2000800},
)
@inbook(becker2022,
 author       = {Jan Becker and Tjark Koopmann and Birte Neurohr and Christian Neurohr and Lukas Westhofen and Boris Wirtz and Eckard Böde and Werner Damm},
 year         = {2022},
 title        = {Simulation of Abstract Scenarios: Towards Automated Tooling in Criticality Analysis},
 pages        = {42--51},
 doi          = {10.5281/zenodo.5907154},
)
@inproceedings(Becker2020,
 author       = {Jan Steffen Becker},
 year         = {2020},
 title        = {{Partial Consistency for Requirement Engineering with Traffic Sequence Charts}},
 booktitle    = {Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 {(SE} 2020), Innsbruck, {\"{O}}sterreich, March 05, 2020},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {2581},
 url          = {http://ceur-ws.org/Vol-2581/ase2020paper1.pdf},
)
@techreport(atr117,
 author       = {Werner Damm and Stephanie Kemper and Eike M{\"o}hlmann and Thomas Peikenkamp and Astrid Rakow},
 year         = {2017},
 title        = {{Traffic Sequence Charts - From Visualization to Semantics}},
 type         = {{AVACS Technical Report (117)}},
 url          = {http://www.avacs.org/fileadmin/Publikationen/Open/avacs_technical_report_117.pdf},
)
@inbook(Damm2018,
 author       = {Werner Damm and Eike M{\"o}hlmann and Thomas Peikenkamp and Astrid Rakow},
 year         = {2018},
 title        = {A Formal Semantics for Traffic Sequence Charts},
 pages        = {182--205},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-319-95246-8_11},
)
@article(Deshmukh2015RobustOM,
 author       = {Jyotirmoy V. Deshmukh and Alexandre Donz\'{e} and Shromona Ghosh and Xiaoqing Jin and Garvit Juniwal and Sanjit A. Seshia},
 year         = {2017},
 title        = {{Robust Online Monitoring of Signal Temporal Logic}},
 journal      = {Form. Methods Syst. Des.},
 pages        = {5–30},
 doi          = {10.1007/s10703-017-0286-7},
)
@inproceedings(Donze13,
 author       = {Alexandre Donz{\'e} and Thomas Ferr{\`e}re and Oded Maler},
 year         = {2013},
 title        = {{Efficient Robust Monitoring for STL}},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer International Publishing},
 pages        = {264--279},
 doi          = {10.1007/978-3-642-39799-8_19},
)
@inproceedings(donze2010robust,
 author       = {Alexandre Donz{\'e} and Oded Maler},
 year         = {2010},
 title        = {{Robust Satisfaction of Temporal Logic over Real-Valued Signals}},
 booktitle    = {International Conference on Formal Modeling and Analysis of Timed Systems},
 organization = {Springer},
 pages        = {92--106},
 doi          = {10.1007/978-3-642-15297-9_9},
)
@inproceedings(Dosovitskiy17,
 author       = {Alexey Dosovitskiy and German Ros and Felipe Codevilla and Antonio Lopez and Vladlen Koltun},
 year         = {2017},
 title        = {{CARLA}: {An Open Urban Driving Simulator}},
 booktitle    = {Proceedings of the 1st Annual Conference on Robot Learning},
 pages        = {1--16},
 doi          = {10.48550/ARXIV.1711.03938},
)
@misc(un2021,
 author       = {United Nations Economic Commission for Europe},
 year         = {2021},
 title        = {UN Regulation No 157 – Uniform provisions concerning the approval of vehicles with regards to Automated Lane Keeping Systems [2021/389]},
 url          = {http://data.europa.eu/eli/reg/2021/389/oj},
)
@article(ferrere2019,
 author       = {Thomas Ferr\`{e}re and Oded Maler and Ni\v{c}kovi\'{c}, Dejan and Amir Pnueli},
 year         = {2019},
 title        = {{From Real-Time Logic to Timed Automata}},
 journal      = {J. ACM},
 volume       = {66},
 doi          = {10.1145/3286976},
)
@misc(msdl19,
 author       = {{foretellix}},
 year         = {2019},
 title        = {{Open M-SDL}},
 howpublished = {\url{https://www.foretellix.com/open-language/}},
 note         = {{Accessed: 2022-04-22}},
)
@inproceedings(Fremont_2019,
 author       = {Daniel J. Fremont and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Sangiovanni-Vincentelli, Alberto L. and Sanjit A. Seshia},
 year         = {2019},
 title        = {Scenic: a language for scenario specification and scene generation},
 booktitle    = {{Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation}},
 publisher    = {{ACM}},
 doi          = {10.1145/3314221.3314633},
)
@inproceedings(Haghighi2015,
 author       = {Iman Haghighi and Austin Jones and Zhaodan Kong and Ezio Bartocci and Radu Gros and Calin Belta},
 year         = {2015},
 title        = {{SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems}},
 booktitle    = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control},
 series       = {HSCC '15},
 publisher    = {Association for Computing Machinery},
 pages        = {189–198},
 doi          = {10.1145/2728606.2728633},
)
@inproceedings(jakvsic2015signal,
 author       = {Jak{\v{s}}i{\'c}, Stefan and Ezio Bartocci and Radu Grosu and Reinhard Kloibhofer and Thang Nguyen and Ni\v{c}kovi\'{c}, Dejan},
 year         = {2015},
 title        = {{From Signal Temporal Logic to FPGA Monitors}},
 booktitle    = {2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)},
 organization = {IEEE},
 pages        = {218--227},
 doi          = {10.1109/MEMCOD.2015.7340489},
)
@inbook(es3,
 author       = {Andrea Leitner},
 year         = {2020},
 title        = {{ENABLE-S3: Project Introduction}},
 pages        = {13--23},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 doi          = {10.1007/978-3-030-14628-3_4},
)
@inproceedings(stsl2021,
 author       = {Tengfei Li and Jing Liu and JieXiang Kang and Haiying Sun and Wei Yin and Xiaohong Chen and Hui Wang},
 year         = {2020},
 title        = {{STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems}},
 booktitle    = {2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS)},
 pages        = {309--319},
 doi          = {10.1109/QRS51102.2020.00048},
)
@article(Ma2020,
 author       = {Yifang Ma and Zhenyu Wang and Hong Yang and Lin Yang},
 year         = {2020},
 title        = {{Artificial Intelligence Applications in the Development of Autonomous Vehicles: A Survey}},
 journal      = {IEEE/CAA Journal of Automatica Sinica},
 volume       = {7},
 pages        = {315--329},
 doi          = {10.1109/JAS.2020.1003021},
)
@inproceedings(rupak2021,
 author       = {Rupak Majumdar and Aman Mathur and Marcus Pirron and Laura Stegner and Damien Zufferey},
 year         = {2021},
 title        = {Paracosm: A Test Framework for Autonomous Driving Simulations},
 booktitle    = {Fundamental Approaches to Software Engineering},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {172--195},
 doi          = {10.1007/978-3-030-71500-7_9},
)
@inproceedings(mallozzi2019,
 author       = {Piergiuseppe Mallozzi and Ezequiel Castellano and Patrizio Pelliccione and Gerardo Schneider and Kenji Tei},
 year         = {2019},
 title        = {{A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments}},
 booktitle    = {2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE)},
 pages        = {5--12},
 doi          = {10.1109/RoSE.2019.00011},
)
@article(nenzi2017,
 author       = {Laura Nenzi and Luca Bortolussi and Vincenzo Ciancia and Michele Loreti and M. Massink},
 year         = {2017},
 title        = {{Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL}},
 journal      = {Logical Methods in Computer Science},
 volume       = {14},
 doi          = {10.23638/LMCS-14(4:2)2018},
)
@inproceedings(neurohr2020,
 author       = {Christian Neurohr and Lukas Westhofen and Tabea Henning and Thies de Graaff and Eike Möhlmann and Eckard Böde},
 year         = {2020},
 title        = {{Fundamental Considerations around Scenario-Based Testing for Automated Driving}},
 booktitle    = {2020 IEEE Intelligent Vehicles Symposium (IV)},
 pages        = {121--127},
 doi          = {10.1109/IV47402.2020.9304823},
)
@misc(pegasus,
 author       = {PEGASUS},
 title        = {{PEGASUS Project}},
 howpublished = {\url{https://www.pegasusprojekt.de/de/}},
 note         = {{Accessed: 2022-04-25}},
)
@phdthesis(Schwammberger2021,
 author       = {Maike Schwammberger},
 year         = {2021},
 title        = {{Distributed Controllers for Provably Safe, Live and Fair Autonomous Car Manoeuvres in Urban Traffic}},
 school       = {Oldenburg University, Germany},
 url          = {https://oops.uni-oldenburg.de/4961/},
)
@article(Yurtsever2020,
 author       = {Ekim Yurtsever and Jacob Lambert and Alexander Carballo and Kazuya Takeda},
 year         = {2020},
 title        = {{A Survey of Autonomous Driving: Common Practices and Emerging Technologies}},
 journal      = {IEEE Access},
 volume       = {8},
 doi          = {10.1109/ACCESS.2020.2983149},
)
@inproceedings(Zapridou2020,
 author       = {Eleni Zapridou and Ezio Bartocci and Panagiotis Katsaros},
 year         = {2020},
 title        = {{Runtime Verification of Autonomous Driving Systems in CARLA}},
 editor       = {Jyotirmoy Deshmukh and Ni{\v{c}}kovi{\'{c}}, Dejan},
 booktitle    = {Runtime Verification},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {172--183},
 doi          = {10.1007/978-3-030-60508-7_9},
)