Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing

5 December 2023

Papers citing "Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing"

2 / 2 papers shown

Title
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 37 4 0 04 Sep 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017