Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference

Xin Qin, Yuan Xian, Aditya Zutshi 0001, Chuchu Fan, Jyotirmoy V. Deshmukh. Statistical Verification of Cyber-Physical Systems using Surrogate Models and Conformal Inference. In 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022. pages 116-126, IEEE, 2022. [doi]

Abstract

Abstract is missing.