TY  - RPRT
TI  - Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference
AU  - Chuchu Fan
AU  - Xin Qin
AU  - Yuan Xia
AU  - Aditya Zutshi
AU  - Jyotirmoy Deshmukh
PY  - 2021
UR  - https://arxiv.org/abs/2004.00279
ID  - 2004.00279
ER  -