Mingzhuo Zhang

According to our database, Mingzhuo Zhang authored at least 3 papers in 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

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

Transforming RoboSim Models into UPPAAL.

Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Towards Verified Safety-critical Autonomous Driving Scenario with ADSML.

Dehui Du, Jiena Chen, Mingzhuo Zhang, Mingjun Ma

Proceedings of the IEEE 45th Annual Computers, Software, and Applications Conference, 2021