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

Bingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du

Browse the full TASE paper archive.