Anytime Safety Verification of Autonomous Vehicles.

Felix Gruber Matthias Althoff

Published in: ITSC (2018)

Keyphrases

autonomous vehicles
structured environments
path planning
obstacle avoidance
route planning
safety analysis
model checking
robot control
mobile robot
multiagent systems
real time
autonomous agents
urban traffic
genetic algorithm
computer vision