TY  - RPRT
TI  - PAC Model Checking of Black-Box Continuous-Time Dynamical Systems
AU  - Bai Xue
AU  - Miaomiao Zhang
AU  - Arvind Easwaran
AU  - Qin Li
PY  - 2020
UR  - https://arxiv.org/abs/2007.10141
ID  - 2007.10141
ER  -