Systematic Testing of Convolutional Neural Networks for Autonomous
Driving

Systematic Testing of Convolutional Neural Networks for Autonomous Driving

10 August 2017

Alberto L. Sangiovanni-Vincentelli

Papers citing "Systematic Testing of Convolutional Neural Networks for Autonomous Driving"

10 / 10 papers shown

Title
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Somil Bansal 36 12 0 04 Nov 2022
Monitoring of Perception Systems: Deterministic, Probabilistic, and Learning-based Fault Detection and Identification Pasquale Antonante Heath Nilsen Luca Carlone 50 24 0 22 May 2022
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 30 66 0 26 Jul 2021
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead Muhammad Shafique Mahum Naseer T. Theocharides C. Kyrkou O. Mutlu Lois Orosa Jungwook Choi OOD 81 100 0 04 Jan 2021
Monitoring and Diagnosability of Perception Systems Pasquale Antonante David I. Spivak Luca Carlone 6 31 0 11 Nov 2020
Machine Learning Testing: Survey, Landscapes and Horizons Jie M. Zhang Mark Harman Lei Ma Yang Liu VLM AILaw 39 739 0 19 Jun 2019
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components T. Dreossi Alexandre Donzé S. Seshia AAML 26 230 0 02 Mar 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016
Towards Verified Artificial Intelligence S. Seshia Dorsa Sadigh S. Shankar Sastry 20 203 0 27 Jun 2016