Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing

8 January 2024

Papers citing "Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing"

9 / 9 papers shown

Title
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 51 70 0 14 Jan 2023
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 75 26 0 06 Jan 2022
Neural Network Robustness as a Verification Property: A Principled Case Study Marco Casadio Ekaterina Komendantskaya M. Daggitt Wen Kokke Guy Katz Guy Amir Idan Refaeli OOD AAML 46 40 0 03 Apr 2021
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations Mark Niklas Muller Gleb Makarchuk Gagandeep Singh Markus Püschel Martin Vechev 61 91 0 05 Mar 2021
Fastened CROWN: Tightened Neural Network Robustness Certificates Zhaoyang Lyu Ching-Yun Ko Zhifeng Kong Ngai Wong Dahua Lin Luca Daniel 132 67 0 02 Dec 2019
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 99 125 0 31 Oct 2019
Robustness of Neural Networks: A Probabilistic and Practical Approach Ravi Mangal A. Nori A. Orso AAML OOD 33 76 0 15 Feb 2019
Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives Chih-Hong Cheng Frederik Diehl Yassine Hamza Gereon Hinz Georg Nührenberg Markus Rickert Harald Ruess Michael Truong-Le AAML 35 34 0 04 Sep 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 200 938 0 21 Oct 2016