Sign in

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

Bingqing XuQin LiTong GuoYi AoDehui Du
Published in: TASE (2019)
Keyphrases
  • autonomous driving
  • grand challenge
  • stereo vision
  • safety analysis
  • model checking
  • vision algorithms
  • urban traffic
  • aerial images