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

Transforming RoboSim Models into UPPAAL. - Mingzhuo Zhang; Dehui Du; Augusto Sampaio 001; Ana Cavalcanti 001; Madiel Conserva Filho; Menghan Zhang (TASE, 2021)

A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD. - Menghan Zhang; Dehui Du; Mingzhuo Zhang; Lei Zhang; Yao Wang; Wentao Zhou (Int. J. Softw. Informatics, 2021)