Towards Verified Safety-critical Autonomous Driving Scenario with ADSML. - Dehui Du; Jiena Chen; Mingzhuo Zhang; Mingjun Ma (COMPSAC, 2021)