Statistical Verification of Autonomous Systems using Surrogate Models and Conformal Inference

Chuchu Fan, Xin Qin, Yuan Xia +2

In this paper, we propose conformal inference based approach for statistical verification of CPS models. Cyber-physical systems (CPS) such as autonomous vehicles, avionic systems,…