A Formal Quantitative Approach for Evaluating Safety-Critical Driving Scenarios via Statistical Model Checking.

Xinyu Liang, Qin Li

Browse the full TASE paper archive.