Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems

@article{rober2023backward,
  Title = {Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems},
  Author = {Rober, Nicholas and Katz, Sydney M. and Sidrane, Chelsea and Yel, Esen and Everett, Michael and Kochenderfer, Mykel J. and How, Jonathan P.},
  Journal = {IEEE Open Journal of Control Systems (OJ-CSYS)},
  entrysubtype = {journal},
  Pages = {108-124},
  Year = {2023},
  Volume = {2},
  Url = {https://arxiv.org/abs/2209.14076},
  Doi = {10.1109/OJCSYS.2023.3265901},
}