Sign in
Formal Verification of Neural Network Controllers for Collision-Free Flight.
Daniel Genin
Ivan Papusha
Joshua Brulé
Tyler Young
Galen E. Mullins
Yanni Kouskoulas
Rosa Wu
Aurora C. Schmidt
Published in:
VSTTE (2021)
Keyphrases
</>
free flight
formal verification
neural network
model checking
route planning
air traffic
rigid body
automated verification
bounded model checking
model checker
control system
symbolic model checking
temporal logic
control strategy
reinforcement learning
road network
real time