Search Results for author:
Found 1 papers, 0 papers with code
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI
We demonstrate a unified approach to rigorous design of safety-critical autonomous systems using the VerifAI toolkit for formal analysis of AI-based systems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
