Formal verification of ACAS X, an industrial airborne collision avoidance system.
Jean-Baptiste JeanninKhalil GhorbalYanni KouskoulasRyan W. GardnerAurora C. SchmidtErik ZawadzkiAndré PlatzerPublished in: EMSOFT (2015)
Keyphrases
- collision avoidance
- formal verification
- model checking
- path planning
- mobile robot
- dynamic environments
- visual navigation
- model checker
- ground vehicles
- bounded model checking
- automated verification
- path finding
- symbolic model checking
- fuzzy neural network
- temporal logic
- obstacle avoidance
- formation control
- neural network
- evolutionary algorithm