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 (APSEC, 2018)

Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP. - Xin Bai; Chenghao Xu; Yi Ao; Biao Chen; Dehui Du (TASE, 2019)

An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs. - Dehui Du; Yao Wang; Yi Ao; Biao Chen (TASE, 2019)

A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. - Bingqing Xu; Qin Li 002; Tong Guo; Yi Ao; Dehui Du (TASE, 2019)