Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI

14 May 2020

Papers citing "Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI"

8 / 8 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
AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations Parth Ganeriwala S. Bhattacharyya Sean Gunther Brian Kish Mohammed Abdul Hafeez Khan Ankur Dhadoti Natasha A. Neogi 45 1 0 10 Sep 2024
Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications Konstantin Dmitriev J. Schumann F. Holzapfel 15 20 0 28 Sep 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett Hao Fei Guy Katz AAML 35 20 0 01 Jun 2022
A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation Francis Indaheng Edward Kim Kesav Viswanadha Jay Shenoy Jinkyu Kim Daniel J. Fremont S. Seshia 28 9 0 28 Oct 2021
Synthesizing Pareto-Optimal Interpretations for Black-Box Models Hazem Torfah Shetal Shah Supratik Chakraborty S. Akshay S. Seshia 30 6 0 16 Aug 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 30 66 0 26 Jul 2021
Scenic: A Language for Scenario Specification and Data Generation Daniel J. Fremont Edward J. Kim T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 29 97 0 13 Oct 2020