Yi Ao

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 4

Top Topics

Grand Challenge

Probabilistic Modeling

Autonomous Driving

Top Venues

Publications

Xin Bai, Chenghao Xu, Yi Ao, Biao Chen, Dehui Du
Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP. TASE (2019)
Bingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du
A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. TASE (2019)
Dehui Du, Yao Wang, Yi Ao, Biao Chen
An Optimized Partial Rollback Co-simulation Approach for Heterogeneous FMUs. TASE (2019)
Chunlin Guan, Yi Ao, Dehui Du, Frédéric Mallet
xSHS: An Executable Domain-Specific Modeling Language for Modeling Stochastic and Hybrid Behaviors of Cyber-Physical Systems. APSEC (2018)