@misc{indiciae0f4fecf09443,
  title = {PAC Model Checking of Black-Box Continuous-Time Dynamical Systems},
  author = {Bai Xue and Miaomiao Zhang and Arvind Easwaran and Qin Li},
  year = {2020},
  url = {https://arxiv.org/abs/2007.10141},
  note = {Source identifier: 2007.10141}
}