@article{qin2023surrogate,
  title   = {Statistical Verification using Surrogate Models and Conformal Inference and a Comparison with Risk-aware Verification},
  author  = {Qin, Xin and Xia, Yuan and Zutshi, Aditya and Fan, Chuchu and Deshmukh, Jyotirmoy V.},
  journal = {ACM Transactions on Cyber-Physical Systems},
  year    = {2023}
}