@article{fan2020surrogate,
  title   = {Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference},
  author  = {Fan, Chuchu and Qin, Xin and Xia, Yuan and Zutshi, Aditya and Deshmukh, Jyotirmoy V.},
  journal = {arXiv preprint arXiv:2004.00279},
  year    = {2020}
}