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

Daniel J. Fremont, Johnathan Chiu, Dragos D. Margineantu, Denis Osipychev, Sanjit A. Seshia

Browse the full CAV paper archive.