Validation of Image-Based Neural Network Controllers through Adaptive
Stress Testing

Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing

5 March 2020

Mykel J. Kochenderfer

Papers citing "Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing"

13 / 13 papers shown

Title
Adaptive Stress Testing Black-Box LLM Planners Neeloy Chakraborty John Pohovey Melkior Ornik Katherine Driggs-Campbell 37 0 0 08 May 2025
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 50 11 0 02 Dec 2022
An Overview of Structural Coverage Metrics for Testing Neural Networks Muhammad Usman Youcheng Sun D. Gopinath R. Dange Luca Manolache C. Păsăreanu 25 8 0 05 Aug 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 59 30 0 19 Mar 2022
Learning Safe, Generalizable Perception-based Hybrid Control with Certificates Charles Dawson Bethany Lowenkamp D. Goff Chuchu Fan 47 53 0 04 Jan 2022
Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency Bineet Ghosh Sandeep Chinchali Parasara Sridhar Duggirala 26 3 0 03 Aug 2021
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 37 66 0 26 Jul 2021
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs Christopher A. Strong Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 42 2 0 09 Jun 2021
Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong Haoze Wu Aleksandar Zeljić Kyle D. Julian Guy Katz Clark W. Barrett Mykel J. Kochenderfer AAML 17 33 0 07 Oct 2020
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems Anthony Corso Robert J. Moss Mark Koren Ritchie Lee Mykel J. Kochenderfer 21 173 0 06 May 2020
Sense-Assess-eXplain (SAX): Building Trust in Autonomous Vehicles in Challenging Real-World Driving Scenarios Matthew Gadd D. Martini Letizia Marchegiani Paul Newman Lars Kunze 24 21 0 05 May 2020
Parallelization Techniques for Verifying Neural Networks Haoze Wu Alex Ozdemir Aleksandar Zeljić A. Irfan Kyle D. Julian D. Gopinath Sadjad Fouladi Guy Katz C. Păsăreanu Clark W. Barrett 35 59 0 17 Apr 2020
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,842 0 03 Feb 2017