Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study.
André PlatzerEdmund M. ClarkePublished in: FM (2009)
Keyphrases
- collision avoidance
- formal verification
- flight data
- path planning
- model checking
- mobile robot
- visual navigation
- dynamic environments
- automated verification
- flight test
- model checker
- air traffic management
- symbolic model checking
- autonomous vehicles
- bounded model checking
- fuzzy neural network
- path finding
- temporal logic
- knowledge representation
- high alpha research vehicle