@article{backwardreachabilityanalysisofneural,
  title = {Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems},
  author = {Nicholas Rober and Sydney M. Katz and Chelsea Sidrane and Esen Yel and Michael Everett and Mykel J. Kochenderfer and Jonathan P. How},
  year = {2022},
  eprint = {2209.14076},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2209.14076v2},
}