TY  - RPRT
TI  - Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
AU  - Nicholas Rober
AU  - Jonathan P. How
PY  - 2024
UR  - https://arxiv.org/abs/2410.00145
ID  - 2410.00145
ER  -