Login / Signup
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System.
Jean-Baptiste Jeannin
Khalil Ghorbal
Yanni Kouskoulas
Ryan W. Gardner
Aurora C. Schmidt
Erik Zawadzki
André Platzer
Published in:
TACAS (2015)
Keyphrases
</>
collision avoidance
path planning
mobile robot
dynamic environments
visual navigation
ground vehicles
infrared
path finding
expert systems
formation control
real time
neural network
evolutionary algorithm
fuzzy neural network
pattern recognition
artificial neural networks