NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing

29 March 2022

Papers citing "NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing"

6 / 6 papers shown

Title
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception Christopher Watson Rajeev Alur Divya Gopinath Ravi Mangal C. Păsăreanu 53 0 0 29 Apr 2025
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study C. Păsăreanu Ravi Mangal D. Gopinath Sinem Getir Yaman Calum Imrie R. Calinescu Huafeng Yu 32 29 0 06 Feb 2023
Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Somil Bansal 30 11 0 04 Nov 2022
Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks Xiaowu Sun Yasser Shoukry 43 11 0 11 Oct 2022
Assuring Safety of Vision-Based Swarm Formation Control Chiao Hsieh Yubin Koh Yangge Li Sayan Mitra 15 4 0 03 Oct 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