Login / Signup
Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.
Yanni Kouskoulas
Daniel Genin
Aurora C. Schmidt
Jean-Baptiste Jeannin
Published in:
ITP (2017)
Keyphrases
</>
flight data
flight test
dynamical systems
dynamic model
temporal evolution
data mining
database systems
video sequences
control law
autonomous vehicles
navigation systems
nasa langley research center
air traffic control