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:
CoRR (2020)
Keyphrases
</>
formal analysis
formal methods
business process
air force
agent model
ban logic
united states
air traffic control
civil aviation
flight test