| emsoft | participants

Bai Xue

Program Committees:
2018, 2019, 2020, and 2021
.

EMSOFT 2020: 20th International Conference on Embedded Software

PAC Model Checking of Black-Box Continuous-Time Dynamical Systems

Bai Xue, Miaomiao Zhang, Arvind Easwaran, and Qin Li

Safety Verification for Random Ordinary Differential Equations

Bai Xue, Martin Fränzle, Naijun Zhan, Sergiy Bogomolov, and Bican Xia