@Article{Rober2023,
  author  = {Nicholas Rober and Sydney M. Katz and Chelsea Sidrane and Esen Yel and Michael Everett and Mykel J. Kochenderfer and Jonathan P. How},
  journal = {{IEEE} Open Journal of Control Systems},
  title   = {Backward reachability analysis of neural feedback loops: {T}echniques for linear and nonlinear systems},
  year    = {2023},
  pages   = {108--124},
  volume  = {2},
  doi     = {10.1109/ojcsys.2023.3265901},
}

{"_id":"8t7mZmDZmvYZXRCwF","bibbaseid":"rober-katz-sidrane-yel-everett-kochenderfer-how-backwardreachabilityanalysisofneuralfeedbackloopstechniquesforlinearandnonlinearsystems-2023","author_short":["Rober, N.","Katz, S. M.","Sidrane, C.","Yel, E.","Everett, M.","Kochenderfer, M. J.","How, J. P."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Nicholas"],"propositions":[],"lastnames":["Rober"],"suffixes":[]},{"firstnames":["Sydney","M."],"propositions":[],"lastnames":["Katz"],"suffixes":[]},{"firstnames":["Chelsea"],"propositions":[],"lastnames":["Sidrane"],"suffixes":[]},{"firstnames":["Esen"],"propositions":[],"lastnames":["Yel"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Everett"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]},{"firstnames":["Jonathan","P."],"propositions":[],"lastnames":["How"],"suffixes":[]}],"journal":"IEEE Open Journal of Control Systems","title":"Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems","year":"2023","pages":"108–124","volume":"2","doi":"10.1109/ojcsys.2023.3265901","bibtex":"@Article{Rober2023,\n author = {Nicholas Rober and Sydney M. Katz and Chelsea Sidrane and Esen Yel and Michael Everett and Mykel J. Kochenderfer and Jonathan P. How},\n journal = {{IEEE} Open Journal of Control Systems},\n title = {Backward reachability analysis of neural feedback loops: {T}echniques for linear and nonlinear systems},\n year = {2023},\n pages = {108--124},\n volume = {2},\n doi = {10.1109/ojcsys.2023.3265901},\n}\n\n","author_short":["Rober, N.","Katz, S. M.","Sidrane, C.","Yel, E.","Everett, M.","Kochenderfer, M. J.","How, J. P."],"key":"Rober2023","id":"Rober2023","bibbaseid":"rober-katz-sidrane-yel-everett-kochenderfer-how-backwardreachabilityanalysisofneuralfeedbackloopstechniquesforlinearandnonlinearsystems-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://aisafety.stanford.edu/bib/all-pubs.bib","dataSources":["Q5m4eREZKA5kKSYST","L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42"],"keywords":[],"search_terms":["backward","reachability","analysis","neural","feedback","loops","techniques","linear","nonlinear","systems","rober","katz","sidrane","yel","everett","kochenderfer","how"],"title":"Backward reachability analysis of neural feedback loops: Techniques for linear and nonlinear systems","year":2023}