@misc{indiciaede4e628eafc9,
  title = {A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems},
  author = {Samuel I. Akinwande and Sydney M. Katz and Mykel J. Kochenderfer and Clark Barrett},
  year = {2026},
  url = {https://arxiv.org/abs/2601.08065},
  note = {Source identifier: 2601.08065}
}