TY  - RPRT
TI  - Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems
AU  - Nicholas Rober
AU  - Sydney M. Katz
AU  - Chelsea Sidrane
AU  - Esen Yel
AU  - Michael Everett
AU  - Mykel J. Kochenderfer
AU  - Jonathan P. How
PY  - 2022
UR  - https://arxiv.org/abs/2209.14076
ID  - 2209.14076
ER  -