Login / Signup
Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X.
Rachel Cleaveland
Stefan Mitsch
André Platzer
Published in:
ACM Trans. Embed. Comput. Syst. (2023)
Keyphrases
</>
collision avoidance
path planning
mobile robot
visual navigation
dynamic environments
ground vehicles
path finding
infrared
computer games
video games
game theory
formation control
fuzzy neural network
obstacle avoidance