Login / Signup
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers.
Peter Heidlauf
Alexander Collins
Michael Bolender
Stanley Bak
Published in:
ARCH@ADHS (2018)
Keyphrases
</>
collision avoidance
path planning
visual navigation
mobile robot
dynamic environments
path finding
fuzzy neural network
ground vehicles
model checking
autonomous vehicles
formation control
data mining
decision making
rough sets
input output
robot motion