TY  - RPRT
TI  - Conformal Prediction for STL Runtime Verification
AU  - Lars Lindemann
AU  - Xin Qin
AU  - Jyotirmoy V. Deshmukh
AU  - George J. Pappas
PY  - 2023
UR  - https://arxiv.org/abs/2211.01539
ID  - 2211.01539
ER  -