Verification of Collision Avoidance for CommonRoad Traffic Scenarios.

Niklas Kochdumper Philipp Gassert Matthias Althoff

Published in: ARCH@ADHS (2021)

Keyphrases

collision avoidance
path planning
visual navigation
dynamic environments
mobile robot
formation control
model checking
fuzzy neural network
path finding
neural network
control algorithm
autonomous navigation
inductive learning
robot motion
input output
genetic algorithm
machine learning