Verifiable Obstacle Detection

30 August 2022

Papers citing "Verifiable Obstacle Detection"

6 / 6 papers shown

Title
Object criticality for safer navigation Andrea Ceccarelli Leonardo Montecchi 23 0 0 25 Apr 2024
Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing Ayoosh Bansal Yang Zhao James Zhu Sheng Cheng Yuliang Gu Hyung-Jin Yoon Hunmin Kim N. Hovakimyan Lui Sha 6 2 0 05 Dec 2023
Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults Ayoosh Bansal Hunmin Kim Simon Yu Bo-wen Li N. Hovakimyan Marco Caccamo L. Sha AAML 16 4 0 04 Sep 2022
Introduction to Neural Network Verification Aws Albarghouthi AAML 53 85 0 21 Sep 2021
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,818 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