@misc{indiciaec51b8de40582,
  title = {Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference},
  author = {Chuchu Fan and Xin Qin and Yuan Xia and Aditya Zutshi and Jyotirmoy Deshmukh},
  year = {2021},
  url = {https://arxiv.org/abs/2004.00279},
  note = {Source identifier: 2004.00279}
}