TY - RPRT TI - Robust Conformal Prediction for STL Runtime Verification under Distribution Shift AU - Yiqi Zhao AU - Bardh Hoxha AU - Georgios Fainekos AU - Jyotirmoy V. Deshmukh AU - Lars Lindemann PY - 2024 UR - https://arxiv.org/abs/2311.09482 ID - 2311.09482 ER -