| emsoft | participants

Qin Li

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