Fetching the paper…
Reading the bibliography…
With increasing complexity of Automated Driving Systems (ADS), ensuring their safety and reliability has become a critical challenge.
In: TACAS
Alessandro Cimatti, Alberto Griggio, Sergio Mover & Stefano Tonetta (2015): HyComp: An SMT-Based Model Checker for Hybrid Systems · 2015
Earlier work this paper cites.
In Sergey Levine, Vincent Vanhoucke & Ken Goldberg, editors: Proceedings of the 1st Annual Conference on Robot Learning
Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez & Vladlen Koltun (2017): CARLA: An Open Urban Driving Simulator · 2017
Earlier work this paper cites.
In Rupak Majumdar & Viktor Kunčak, editors: Computer Aided Verification
Xiaowei Huang, Marta Kwiatkowska, Sen Wang & Min Wu (2017): Safety Verification of Deep Neural Networks · 2017
Earlier work this paper cites.
In: CAV (1)
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian & Mykel J. Kochenderfer (2017): Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks · 2017
Earlier work this paper cites.
In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito & James Kapinski (2018): Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles · 2018
Earlier work this paper cites.
In Isil Dillig & Serdar Tasiran, editors: Computer Aided Verification
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri & Stefano Tonetta (2019): Extending nuXmv with Timed Transition Systems and Timed Temporal Properties · 2019
Earlier work this paper cites.
In Bernd Finkbeiner & Leonardo Mariani, editors: Runtime Verification
Alessandro Cimatti, Chun Tian & Stefano Tonetta (2019): NuRV: A nuXmv Extension for Runtime Verification · 2019
Earlier work this paper cites.
In Isil Dillig & Serdar Tasiran, editors: Computer Aided Verification
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte & Sanjit A. Seshia (2019): VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems · 2019
Earlier work this paper cites.
In: CAV (1)
Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer & Clark W. Barrett (2019): The Marabou Framework for Verification and Analysis of Deep Neural Networks · 2019
Earlier work this paper cites.
Proc. ACM Program. Lang
Gagandeep Singh, Timon Gehr, Markus Püschel & Martin Vechev (2019): An Abstract Domain for Certifying Neural Networks · 2019
Cited alongside, same era.
In Gereon Meyer & Sven Beiker, editors: Road Vehicle Automation 5
Hermann Winner, Karsten Lemmer, Thomas Form & Jens Mazzega (2019): PEGASUS—First Steps for the Safe Introduction of Automated Driving · 2019
Cited alongside, same era.
In Esther Guerra & Mariëlle Stoelinga, editors: Fundamental Approaches to Software Engineering
Rupak Majumdar, Aman Mathur, Marcus Pirron, Laura Stegner & Damien Zufferey (2021): Paracosm: A Test Framework for Autonomous Driving Simulations · 2021
Cited alongside, same era.
In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)
Clément Robert, Jérémie Guiochet, Héléne Waeselynck & Luca Vittorio Sartori (2021): TAF: a Tool for Diverse and Constrained Test Case Generation · 2021
Cited alongside, same era.
In: 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)
D. Chen & P. Krahenbuhl (2022): Learning from All Vehicles · 2022
Cited alongside, same era.
https://releases.asam.net/OpenSCENARIO/2.0-concepts/M-SDL_LRM_OS.pdf
O. foretellix: Open M-SDL · 2023
Closest in time.
In: ASTRA
Simone Fratini, Patrick Fleith, Nicola Policella, Alberto Griggio, Stefano Tonetta, Srajan Goyal, Thi Thieu Hoa Le, Jacob Kimblad, Chun Tian, Konstantinos Kapellos, Christos Tranoris & Quirien Wijnands (2023): Verification and Validation of Autonomous Systems with Embedded AI: The VIVAS Approach · 2023
Closest in time.
In Constantin Enea & Akash Lal, editors: Computer Aided Verification
Corina S. Păsăreanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu & Huafeng Yu (2023): Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study · 2023
Closest in time.
In: ICST
Luca Vittorio Sartori, Hélène Waeselynck & Jérémie Guiochet (2023): Pairwise Testing Revisited for Structured Data With Constraints · 2023
Closest in time.
In Karen Liu, Dana Kulic & Jeff Ichnowski, editors: Proceedings of The 6th Conference on Robot Learning
Hao Shao, Letian Wang, Ruobing Chen, Hongsheng Li & Yu Liu (2023): Safety-Enhanced Autonomous Driving Using Interpretable Sensor Fusion Transformer · 2023
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Machine Learning
Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli & Sanjit A. Seshia (2022): Scenic: a language for scenario specification and data generation · 2022
Cited alongside, same era.
In S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho & A. Oh, editors: Advances in Neural Information Processing Systems
Penghao Wu, Xiaosong Jia, Li Chen, Junchi Yan, Hongyang Li & Yu Qiao (2022): Trajectory-guided Control Prediction for End-to-end Autonomous Driving: A Simple yet Strong Baseline · 2022
Cited alongside, same era.
https://www.asam.net/standards/detail/openscenario/
Associaiton for Standardization of Automation & Measuring Sytems (ASAM): OpenSCENARIO · 2023
Cited alongside, same era.
In: The Use of Artificial Intelligence for Space Applications
Marco Bozzano, Riccardo Bussola, Marco Cristoforetti, Srajan Goyal, Martin Jonáš, Konstantinos Kapellos, Andrea Micheli, Davide Soldà, Stefano Tonetta, Christos Tranoris & Alessandro Valentini (2023): RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets · 2023
Cited alongside, same era.
https://leaderboard.carla.org/leaderboard/
CARLA Team: CARLA Autonomous Driving Leaderboard · 2023
Closest in time.
https://carla-scenariorunner.readthedocs.io
CARLA Team: CARLA ScenarioRunner · 2023
Closest in time.
In Constantin Enea & Akash Lal, editors: Computer Aided Verification
Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli & Sanjit A. Seshia (2023): 3D Environment Modeling for Falsification and Beyond with Scenic 3.0 · 2023
Closest in time.