Login / Signup
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
Published in:
CAV (1) (2020)
Keyphrases
</>
formal analysis
business process
formal methods
air force
ban logic
business processes
design process
united states
agent model
air traffic
open source
fine grained
cost effective
nasa langley research center
flight data
civil aviation