@misc{indiciae3b5a782b2ebb,
  title = {Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction},
  author = {Yuang Geng and Thomas Waite and Trevor Turnquist and Radoslav Ivanov and Ivan Ruchkin},
  year = {2026},
  url = {https://arxiv.org/abs/2512.02893},
  note = {Source identifier: 2512.02893}
}