@misc{indiciae74d29ca5c21d,
  title = {Formal Verification and Control with Conformal Prediction},
  author = {Lars Lindemann and Yiqi Zhao and Xinyi Yu and George J. Pappas and Jyotirmoy V. Deshmukh},
  year = {2025},
  url = {https://arxiv.org/abs/2409.00536},
  note = {Source identifier: 2409.00536}
}