Lars Lindemann, Xin Qin, Jyotirmoy V. Deshmukh, George J. Pappas. Conformal Prediction for STL Runtime Verification. In 59th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2023, Monticello, IL, USA, September 26-29, 2023. pages 1, IEEE, 2023. [doi]
Abstract is missing.