A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving.

Bingqing Xu Qin Li Tong Guo Yi Ao Dehui Du

Published in: TASE (2019)

Keyphrases

autonomous driving
grand challenge
stereo vision
safety analysis
model checking
vision algorithms
urban traffic
aerial images