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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Xin Qin' in GoogleThis author has not been identified. Look up 'Yuan Xian' in GoogleThis author has not been identified. Look up 'Aditya Zutshi 0001' in GoogleThis author has not been identified. Look up 'Chuchu Fan' in GoogleThis author has not been identified. Look up 'Jyotirmoy V. Deshmukh' in Google

runs on WebDSL