Mingzhuo Zhang

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 3

Top Topics

Autonomous Driving

Adaptive Systems

Grand Challenge

Parameter Estimation

Top Venues

Int. J. Softw. Informatics

Publications

Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang
Transforming RoboSim Models into UPPAAL. TASE (2021)
Menghan Zhang, Dehui Du, Mingzhuo Zhang, Lei Zhang, Yao Wang, Wentao Zhou
A Meta-Modeling Approach for Autonomous Driving Scenario Based on STTD. Int. J. Softw. Informatics 11 (3) (2021)
Dehui Du, Jiena Chen, Mingzhuo Zhang, Mingjun Ma
Towards Verified Safety-critical Autonomous Driving Scenario with ADSML. COMPSAC (2021)