@misc{indiciae24dad8e16427,
  title = {State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems},
  author = {Thomas Waite and Yuang Geng and Trevor Turnquist and Ivan Ruchkin and Radoslav Ivanov},
  year = {2025},
  url = {https://arxiv.org/abs/2502.21308},
  note = {Source identifier: 2502.21308}
}