A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

6 May 2020

Mykel J. Kochenderfer

ArXiv PDF HTML

Papers citing "A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems"

23 / 73 papers shown

Title
Testing Robot System Safety by creating Hazardous Human Worker Behavior in Simulation Tom P. Huck C. Ledermann Torsten Kröger 12 12 0 29 Nov 2021
Certifiable Deep Importance Sampling for Rare-Event Simulation of Black-Box Systems Mansur Arief Yuanlu Bai Wenhao Ding Shengyi He Zhiyuan Huang Henry Lam Ding Zhao 19 14 0 03 Nov 2021
From Machine Learning to Robotics: Challenges and Opportunities for Embodied Intelligence Nicholas Roy Ingmar Posner T. Barfoot Philippe Beaudoin Yoshua Bengio ... S. Schaal Gaurav Sukhatme D. Thérien Marc Toussaint M. van de Panne 40 54 0 28 Oct 2021
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees Giulia Pedrielli Tanmay Kandhait Surdeep Chotaliya Quinn Thibeault Hao Huang M. Castillo-Effen Georgios Fainekos 35 19 0 20 Oct 2021
Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review Xinhai Zhang Jianbo Tao Kaige Tan Martin Törngren José Manuel Gaspar Sánchez ... Magnus Gyllenhammar F. Wotawa N. Mohan Mihai Nica Hermann Felbinger 40 39 0 16 Oct 2021
Probabilistic Metamodels for an Efficient Characterization of Complex Driving Scenarios Max Winkelmann Mike Kohlhoff H. Tadjine Steffen Müller 34 9 0 06 Oct 2021
A Formal Characterization of Black-Box System Safety Performance with Scenario Sampling Bowen Weng L. Capito Ü. Özgüner Keith A. Redmill 11 10 0 05 Oct 2021
A Step Towards Efficient Evaluation of Complex Perception Tasks in Simulation Jonathan Sadeghi Blaine Rogers James Gunn Thomas Saunders Sina Samangooei P. Dokania John Redford 47 8 0 28 Sep 2021
I Know You Can't See Me: Dynamic Occlusion-Aware Safety Validation of Strategic Planners for Autonomous Vehicles Using Hypergames Maximilian Kahn Atrisha Sarkar Krzysztof Czarnecki 57 10 0 20 Sep 2021
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems Chelsea Sidrane Amir Maleki A. Irfan Mykel J. Kochenderfer 12 48 0 03 Aug 2021
Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm Mark Koren Ahmed Nassar Mykel J. Kochenderfer 29 20 0 27 Jul 2021
ARC: Adversarially Robust Control Policies for Autonomous Vehicles Sampo Kuutti Saber Fallah Richard Bowden AAML 30 5 0 09 Jul 2021
Scalable Safety-Critical Policy Evaluation with Accelerated Rare Event Sampling Mengdi Xu Peide Huang Fengpei Li Jiacheng Zhu Xuewei Qi K. Oguchi Zhiyuan Huang Henry Lam Ding Zhao 16 4 0 19 Jun 2021
Towards Guaranteed Safety Assurance of Automated Driving Systems with Scenario Sampling: An Invariant Set Perspective (Extended Version) Bowen Weng L. Capito Ü. Özgüner Keith A. Redmill 24 20 0 19 Apr 2021
Weakly Supervised Reinforcement Learning for Autonomous Highway Driving via Virtual Safety Cages Sampo Kuutti Richard Bowden Saber Fallah 40 14 0 17 Mar 2021
Virtual Adversarial Humans finding Hazards in Robot Workplaces Tom P. Huck C. Ledermann Torsten Kröger 14 4 0 01 Mar 2021
Discovering IoT Physical Channel Vulnerabilities Muslum Ozgur Ozmen Xuansong Li A. Chu Z. Berkay Celik Bardh Hoxha Xinming Zhang 9 21 0 03 Feb 2021
Transfer Learning for Efficient Iterative Safety Validation Anthony Corso Mykel J. Kochenderfer 24 5 0 09 Dec 2020
Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems Robert J. Moss Ritchie Lee Nicholas Visser J. Hochwarth J. Lopez Mykel J. Kochenderfer 11 15 0 04 Nov 2020
Neural Bridge Sampling for Evaluating Safety-Critical Autonomous Systems Aman Sinha Matthew O'Kelly Russ Tedrake John C. Duchi 50 48 0 24 Aug 2020
Deep Probabilistic Accelerated Evaluation: A Robust Certifiable Rare-Event Simulation Methodology for Black-Box Safety-Critical Systems Mansur Arief Zhiyuan Huang Guru Koushik Senthil Kumar Yuanlu Bai Shengyi He Wenhao Ding Henry Lam Ding Zhao 6 11 0 28 Jun 2020
Uncertainty Quantification and Exploration for Reinforcement Learning Yi Zhu Jing Dong Henry Lam OffRL 8 3 0 12 Oct 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,843 0 03 Feb 2017