Our paper titled “NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing” is accepted to appear in the Proceedings of NASA Formal Methods Symposium (NFM) 2022.
Our paper titled “NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing” is accepted to appear in the Proceedings of NASA Formal Methods Symposium (NFM) 2022.