Formal Verification and Mathematical Optimization for Autonomous Vehicle Group Controllers.

Masaki Nakamura Kazutoshi Sakakibara

Published in: MoDELS (Companion) (2019)

Keyphrases

formal verification
autonomous vehicles
model checking
bounded model checking
automated verification
path planning
obstacle avoidance
optimization algorithm
model checker
artificial intelligence
lane detection
reinforcement learning
global optimization
robot control
robot motion
symbolic model checking
real time