Conformal Prediction for STL Runtime Verification

Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas. Conformal Prediction for STL Runtime Verification. In Sayan Mitra, Nalini Venkatasubramanian, Abhishek Dubey, Lu Feng 0001, Mahsa Ghasemi, Jonathan Sprinkle, editors, Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023. pages 142-153, ACM, 2023. [doi]

Authors

Lars Lindemann

This author has not been identified. Look up 'Lars Lindemann' in Google

Xin Qin

This author has not been identified. Look up 'Xin Qin' in Google

Jyotirmoy V. Deshmukh

This author has not been identified. Look up 'Jyotirmoy V. Deshmukh' in Google

George J. Pappas

This author has not been identified. Look up 'George J. Pappas' in Google