2 papers
eess.SY2024
System-Level Analysis of Module Uncertainty Quantification in the Autonomy Pipeline
Sampada Deglurkar, Haotian Shen, Anish Muthali +5
Modern autonomous systems with machine learning components often use uncertainty quantification to help produce assurances about system operation. However, there is a lack of conse…
cs.LG2020
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu +2
We demonstrate a unified approach to rigorous design of safety-critical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems. VerifAI provides an in…