@misc{indiciae59ebb5f93740,
  title = {BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems},
  author = {Chelsea Sidrane and Jana Tumova},
  year = {2025},
  url = {https://arxiv.org/abs/2505.03643},
  note = {Source identifier: 2505.03643}
}