Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults

4 September 2022

Papers citing "Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults"

5 / 5 papers shown

Title
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
Architecting Safer Autonomous Aviation Systems J. Fenn M. Nicholson Ganesh J. Pai M. Wilkinson 15 3 0 09 Jan 2023
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