TY  - RPRT
TI  - Formal Verification and Control with Conformal Prediction
AU  - Lars Lindemann
AU  - Yiqi Zhao
AU  - Xinyi Yu
AU  - George J. Pappas
AU  - Jyotirmoy V. Deshmukh
PY  - 2025
UR  - https://arxiv.org/abs/2409.00536
ID  - 2409.00536
ER  -