@misc(openscenario,
 author       = {Associaiton for Standardization of Automation and Measuring Sytems (ASAM)},
 title        = {{OpenSCENARIO}},
 howpublished = {\url{https://www.asam.net/standards/detail/openscenario/}},
 note         = {Accessed: 2023-08-30},
)
@inproceedings(robdt,
 author       = {Marco Bozzano and Riccardo Bussola and Marco Cristoforetti and Srajan Goyal and Jon{\'a}{\v{s}}, Martin and Konstantinos Kapellos and Andrea Micheli and Davide Sold{\`a} and Stefano Tonetta and Christos Tranoris and Alessandro Valentini},
 year         = {2023},
 title        = {RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets},
 booktitle    = {The Use of Artificial Intelligence for Space Applications},
 publisher    = {Springer Nature Switzerland},
 pages        = {183--198},
 doi          = {10.1007/978-3-031-25755-1_12},
)
@inproceedings(nuxmv,
 author       = {Roberto Cavada and Alessandro Cimatti and Michele Dorigatti and Alberto Griggio and Alessandro Mariotti and Andrea Micheli and Sergio Mover and Marco Roveri and Stefano Tonetta},
 year         = {2014},
 title        = {The nuXmv Symbolic Model Checker},
 booktitle    = {{CAV}},
 series       = {Lecture Notes in Computer Science},
 volume       = {8559},
 publisher    = {Springer},
 pages        = {334--342},
 doi          = {10.1007/978-3-319-08867-9\_22},
)
@inproceedings(chen2022learning,
 author       = {D. Chen and P. Krahenbuhl},
 year         = {2022},
 title        = {Learning from All Vehicles},
 booktitle    = {2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
 publisher    = {IEEE Computer Society},
 address      = {Los Alamitos, CA, USA},
 pages        = {17201--17210},
 doi          = {10.1109/CVPR52688.2022.01671},
)
@inproceedings(CimattiGMRT19,
 author       = {Alessandro Cimatti and Alberto Griggio and Enrico Magnago and Marco Roveri and Stefano Tonetta},
 year         = {2019},
 title        = {Extending nuXmv with Timed Transition Systems and Timed Temporal Properties},
 editor       = {Isil Dillig and Serdar Tasiran},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {376--386},
 doi          = {10.1007/978-3-030-25540-4_21},
)
@inproceedings(CimattiGMT15,
 author       = {Alessandro Cimatti and Alberto Griggio and Sergio Mover and Stefano Tonetta},
 year         = {2015},
 title        = {{HyComp: An SMT-Based Model Checker for Hybrid Systems}},
 booktitle    = {{TACAS}},
 series       = {Lecture Notes in Computer Science},
 volume       = {9035},
 publisher    = {Springer},
 pages        = {52--67},
 doi          = {10.1007/978-3-662-46681-0_4},
)
@inproceedings(CimattiTT19,
 author       = {Alessandro Cimatti and Chun Tian and Stefano Tonetta},
 year         = {2019},
 title        = {{Assumption-Based Runtime Verification with Partial Observability and Resets}},
 booktitle    = {{RV}},
 series       = {Lecture Notes in Computer Science},
 volume       = {11757},
 publisher    = {Springer},
 pages        = {165--184},
 doi          = {10.1007/978-3-030-32079-9_10},
)
@inproceedings(nurv,
 author       = {Alessandro Cimatti and Chun Tian and Stefano Tonetta},
 year         = {2019},
 title        = {NuRV: A nuXmv Extension for Runtime Verification},
 editor       = {Bernd Finkbeiner and Leonardo Mariani},
 booktitle    = {Runtime Verification},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {382--392},
 doi          = {10.1007/978-3-030-32079-9_23},
)
@inproceedings(carla,
 author       = {Alexey Dosovitskiy and German Ros and Felipe Codevilla and Antonio Lopez and Vladlen Koltun},
 year         = {2017},
 title        = {{CARLA}: {An} Open Urban Driving Simulator},
 editor       = {Sergey Levine and Vincent Vanhoucke and Ken Goldberg},
 booktitle    = {Proceedings of the 1st Annual Conference on Robot Learning},
 series       = {Proceedings of Machine Learning Research},
 volume       = {78},
 publisher    = {PMLR},
 pages        = {1--16},
 doi          = {10.48550/arXiv.1711.03938},
)
@inproceedings(verifai-cav19,
 author       = {Tommaso Dreossi and Daniel J. Fremont and Shromona Ghosh and Edward Kim and Hadi Ravanbakhsh and Vazquez-Chanlatte, Marcell and Sanjit A. Seshia},
 year         = {2019},
 title        = {VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems},
 editor       = {Isil Dillig and Serdar Tasiran},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {432--442},
 doi          = {10.1007/978-3-030-25540-4_25},
)
@misc(m-sdl,
 author       = {O. foretellix},
 title        = {Open M-SDL},
 howpublished = {\url{https://releases.asam.net/OpenSCENARIO/2.0-concepts/M-SDL_LRM_OS.pdf}},
 note         = {Accessed: 2023-08-07},
)
@inproceedings(vivas,
 author       = {Simone Fratini and Patrick Fleith and Nicola Policella and Alberto Griggio and Stefano Tonetta and Srajan Goyal and Thi Thieu Hoa Le and Jacob Kimblad and Chun Tian and Konstantinos Kapellos and Christos Tranoris and Quirien Wijnands},
 year         = {2023},
 title        = {Verification and Validation of Autonomous Systems with Embedded AI: The VIVAS Approach},
 booktitle    = {ASTRA},
 pages        = {To appear},
 url          = {https://az659834.vo.msecnd.net/eventsairwesteuprod/production-atpi-public/070740b67e5b4a32a9be94228c9ac40d},
)
@article(Fremont2022,
 author       = {Daniel J. Fremont and Edward Kim and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Sangiovanni-Vincentelli, Alberto L. and Sanjit A. Seshia},
 year         = {2022},
 title        = {Scenic: a language for scenario specification and data generation},
 journal      = {Machine Learning},
 doi          = {10.1007/s10994-021-06120-5},
)
@inproceedings(HuangKWW17,
 author       = {Xiaowei Huang and Marta Kwiatkowska and Sen Wang and Min Wu},
 year         = {2017},
 title        = {Safety Verification of Deep Neural Networks},
 editor       = {Rupak Majumdar and Kun{\v{c}}ak, Viktor},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {3--29},
 doi          = {10.1007/978-3-319-63387-9_1},
)
@inproceedings(reluplex,
 author       = {Guy Katz and Clark W. Barrett and David L. Dill and Kyle Julian and Mykel J. Kochenderfer},
 year         = {2017},
 title        = {{Reluplex: An Efficient {SMT} Solver for Verifying Deep Neural Networks}},
 booktitle    = {{CAV} {(1)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10426},
 publisher    = {Springer},
 pages        = {97--117},
 doi          = {10.1007/978-3-319-63387-9_5},
)
@inproceedings(marabou,
 author       = {Guy Katz and Derek A. Huang and Duligur Ibeling and Kyle Julian and Christopher Lazarus and Rachel Lim and Parth Shah and Shantanu Thakoor and Haoze Wu and Aleksandar Zeljic and David L. Dill and Mykel J. Kochenderfer and Clark W. Barrett},
 year         = {2019},
 title        = {{The Marabou Framework for Verification and Analysis of Deep Neural Networks}},
 booktitle    = {{CAV} {(1)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {11561},
 publisher    = {Springer},
 pages        = {443--452},
 doi          = {10.1007/978-3-030-25540-4_26},
)
@inproceedings(KlischatA20,
 author       = {Moritz Klischat and Matthias Althoff},
 year         = {2020},
 title        = {Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles},
 booktitle    = {{IV}},
 publisher    = {{IEEE}},
 pages        = {2065--2072},
 doi          = {10.1109/IV47402.2020.9304617},
)
@inproceedings(paracosm,
 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},
 editor       = {Esther Guerra and Mari{\"e}lle Stoelinga},
 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(PasareanuMGYICY23,
 author       = {P{\u{a}}s{\u{a}}reanu, Corina S. and Ravi Mangal and Divya Gopinath and Getir Yaman, Sinem and Calum Imrie and Radu Calinescu and Huafeng Yu},
 year         = {2023},
 title        = {Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study},
 editor       = {Constantin Enea and Akash Lal},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer Nature Switzerland},
 address      = {Cham},
 pages        = {289--303},
 doi          = {10.1007/978-3-031-37706-8_15},
)
@inproceedings(taf,
 author       = {Clément Robert and Jérémie Guiochet and Héléne Waeselynck and Luca Vittorio Sartori},
 year         = {2021},
 title        = {TAF: a Tool for Diverse and Constrained Test Case Generation},
 booktitle    = {2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)},
 pages        = {311--321},
 doi          = {10.1109/QRS54544.2021.00042},
)
@inproceedings(SartoriWG23,
 author       = {Luca Vittorio Sartori and H{\'{e}}l{\`{e}}ne Waeselynck and J{\'{e}}r{\'{e}}mie Guiochet},
 year         = {2023},
 title        = {{Pairwise Testing Revisited for Structured Data With Constraints}},
 booktitle    = {{ICST}},
 publisher    = {{IEEE}},
 pages        = {199--209},
 doi          = {10.1109/ICST57152.2023.00027},
)
@inproceedings(shao2022safetyenhanced,
 author       = {Hao Shao and Letian Wang and Ruobing Chen and Hongsheng Li and Yu Liu},
 year         = {2023},
 title        = {Safety-Enhanced Autonomous Driving Using Interpretable Sensor Fusion Transformer},
 editor       = {Karen Liu and Dana Kulic and Jeff Ichnowski},
 booktitle    = {Proceedings of The 6th Conference on Robot Learning},
 series       = {Proceedings of Machine Learning Research},
 volume       = {205},
 publisher    = {PMLR},
 pages        = {726--737},
 doi          = {10.48550/arXiv.2207.14024},
)
@article(SinghGPV19,
 author       = {Gagandeep Singh and Timon Gehr and Markus P\"{u}schel and Martin Vechev},
 year         = {2019},
 title        = {An Abstract Domain for Certifying Neural Networks},
 journal      = {Proc. ACM Program. Lang.},
 volume       = {3},
 number       = {POPL},
 doi          = {10.1145/3290354},
)
@misc(carla-leaderboard,
 author       = {CARLA Team},
 title        = {{CARLA Autonomous Driving Leaderboard}},
 howpublished = {\url{https://leaderboard.carla.org/leaderboard/}},
 note         = {Accessed: 2023-08-30},
)
@misc(scenariorunner,
 author       = {CARLA Team},
 title        = {{CARLA ScenarioRunner}},
 howpublished = {\url{https://carla-scenariorunner.readthedocs.io}},
 note         = {Accessed: 2023-08-30},
)
@inproceedings(sim-atav,
 author       = {Cumhur Erkan Tuncali and Georgios Fainekos and Hisahiro Ito and James Kapinski},
 year         = {2018},
 title        = {Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles},
 booktitle    = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)},
 series       = {HSCC '18},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {283–284},
 doi          = {10.1145/3178126.3187004},
)
@inproceedings(VinKRFKDGYSS23,
 author       = {Eric Vin and Shun Kashiwa and Matthew Rhea and Daniel J. Fremont and Edward Kim and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Sangiovanni-Vincentelli, Alberto L. and Sanjit A. Seshia},
 year         = {2023},
 title        = {3D Environment Modeling for Falsification and Beyond with Scenic 3.0},
 editor       = {Constantin Enea and Akash Lal},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer Nature Switzerland},
 address      = {Cham},
 pages        = {253--265},
 doi          = {10.1007/978-3-031-37706-8_13},
)
@inproceedings(pegasus,
 author       = {Hermann Winner and Karsten Lemmer and Thomas Form and Jens Mazzega},
 year         = {2019},
 title        = {PEGASUS---First Steps for the Safe Introduction of Automated Driving},
 editor       = {Gereon Meyer and Sven Beiker},
 booktitle    = {Road Vehicle Automation 5},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {185--195},
 doi          = {10.1007/978-3-319-94896-6_16},
)
@inproceedings(wu2022trajectoryguided,
 author       = {Penghao Wu and Xiaosong Jia and Li Chen and Junchi Yan and Hongyang Li and Yu Qiao},
 year         = {2022},
 title        = {Trajectory-guided Control Prediction for End-to-end Autonomous Driving: A Simple yet Strong Baseline},
 editor       = {S. Koyejo and S. Mohamed and A. Agarwal and D. Belgrave and K. Cho and A. Oh},
 booktitle    = {Advances in Neural Information Processing Systems},
 volume       = {35},
 publisher    = {Curran Associates, Inc.},
 pages        = {6119--6132},
 doi          = {10.48550/arXiv.2206.08129},
)