Verifying the Safety of a Flight-Critical System.

Guillaume Brat David H. Bushnell Misty Davies Dimitra Giannakopoulou Falk Howar Temesghen Kahsai

Published in: CoRR (2015)

Keyphrases

civil aviation
image processing
neural network
three dimensional
ultimate goal
air traffic
real time
case study
search algorithm
special case
model checking
air traffic control
space shuttle