TY  - RPRT
TI  - BURNS: Backward Underapproximate Reachability for Neural-Feedback-Loop Systems
AU  - Chelsea Sidrane
AU  - Jana Tumova
PY  - 2025
UR  - https://arxiv.org/abs/2505.03643
ID  - 2505.03643
ER  -