Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis

4 November 2022

Papers citing "Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis"

10 / 10 papers shown

Title
Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Aryaman Gupta Somil Bansal 18 2 0 29 Oct 2024
System-Level Safety Monitoring and Recovery for Perception Failures in Autonomous Vehicles Kaustav Chakraborty Zeyuan Feng Sushant Veer Apoorva Sharma B. Ivanovic Marco Pavone Somil Bansal 26 0 0 26 Sep 2024
Bridging Dimensions: Confident Reachability for High-Dimensional Controllers Yuang Geng Jake Brandon Baldauf Souradeep Dutta Chao Huang Ivan Ruchkin 30 5 0 08 Nov 2023
Detecting and Mitigating System-Level Anomalies of Vision-Based Controllers Aryaman Gupta Kaustav Chakraborty Somil Bansal 14 4 0 23 Sep 2023
Distributionally Robust Statistical Verification with Imprecise Neural Networks Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 49 7 0 28 Aug 2023
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World Daniel J. Fremont Edward Kim Yash Vardhan Pant S. Seshia Atul Acharya Xantha Bruso Paul Wells Steve Lemke Q. Lu Shalin Mehta 71 123 0 17 Mar 2020
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 290 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,832 0 03 Feb 2017
Joint 2D-3D-Semantic Data for Indoor Scene Understanding Iro Armeni S. Sax Amir Zamir Silvio Savarese 3DV 3DPC 113 873 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 929 0 21 Oct 2016