Yi Ao

According to our database, Yi Ao authored at least 4 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving.

Bingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du

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

An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs.

Dehui Du, Yao Wang, Yi Ao, Biao Chen

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

Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP.

Xin Bai, Chenghao Xu, Yi Ao, Biao Chen, Dehui Du

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

2018

xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems.

Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018