Model-based Verification and Validation of an Autonomous Vehicle System.

Eun-Young Kang Dongrui Mu Li Huang Qianqing Lan

Published in: CoRR (2018)

Keyphrases

autonomous vehicles
path planning
obstacle avoidance
lane detection
multiagent systems
robot control
model checking
visual navigation
genetic algorithm
computer vision
map building
robot motion