Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles

29 March 2021

Papers citing "Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles"

10 / 10 papers shown

Title
Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety (Expanded Version) P. Koopman Beth Osyk Jack Weast 39 51 0 31 Oct 2019
Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validation Anthony Corso Peter Du Katherine Driggs-Campbell Mykel J. Kochenderfer 59 98 0 02 Aug 2019
Neural Simplex Architecture Dung Phan Radu Grosu N. Jansen Nicola Paoletti S. Smolka Scott D. Stoller 69 62 0 01 Aug 2019
Adaptive Stress Testing for Autonomous Vehicles Mark Koren Saud Alsaif Ritchie Lee Mykel J. Kochenderfer 53 196 0 05 Feb 2019
On a Formal Model of Safe and Scalable Self-driving Cars Shai Shalev-Shwartz Shaked Shammah Amnon Shashua 55 740 0 21 Aug 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 106 626 0 03 May 2017
Interpretable Learning for Self-Driving Cars by Visualizing Causal Attention Jinkyu Kim John F. Canny FAtt XAI OOD MILM CML 85 336 0 30 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 321 1,875 0 03 Feb 2017
End to End Learning for Self-Driving Cars Mariusz Bojarski D. Testa Daniel Dworakowski Bernhard Firner B. Flepp ... Urs Muller Jiakai Zhang Xin Zhang Jake Zhao Karol Zieba SSL 100 4,175 0 25 Apr 2016
Practical Black-Box Attacks against Machine Learning Nicolas Papernot Patrick McDaniel Ian Goodfellow S. Jha Z. Berkay Celik A. Swami MLAU AAML 75 3,682 0 08 Feb 2016