Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X.

Rachel Cleaveland Stefan Mitsch André Platzer

Published in: CoRR (2021)

Keyphrases

collision avoidance
path planning
mobile robot
visual navigation
dynamic environments
game theory
ground vehicles
infrared
video games
formation control
fuzzy neural network
path finding
computer games
real time
collision free
optimal path
computational intelligence
machine learning