{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T15:25:05Z","timestamp":1759937105933,"version":"3.37.3"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,12,6]],"date-time":"2022-12-06T00:00:00Z","timestamp":1670284800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,12,6]],"date-time":"2022-12-06T00:00:00Z","timestamp":1670284800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100002427","name":"Ford Motor Company","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002427","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,12,6]]},"DOI":"10.1109\/cdc51059.2022.9992847","type":"proceedings-article","created":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T19:26:56Z","timestamp":1673378816000},"page":"2897-2904","source":"Crossref","is-referenced-by-count":10,"title":["Backward Reachability Analysis for Neural Feedback Loops"],"prefix":"10.1109","author":[{"given":"Nicholas","family":"Rober","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology,Aerospace Controls Laboratory,Cambridge,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Everett","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology,Aerospace Controls Laboratory,Cambridge,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan P.","family":"How","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology,Aerospace Controls Laboratory,Cambridge,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1201\/9781351251389-8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2886017"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2015.312"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2514\/1.G003724"},{"key":"ref5","article-title":"Efficient neural network robustness certification with general activation functions","volume":"31","author":"Zhang","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref6","first-page":"5276","article-title":"Towards fast computation of certified robustness for relu networks","volume-title":"International Conference on Machine Learning","author":"Weng"},{"key":"ref7","first-page":"1129","article-title":"Automatic perturbation analysis for scalable certified robustness and beyond","volume":"33","author":"Xu","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"article-title":"Evaluating robustness of neural networks with mixed integer programming","year":"2017","author":"Tjeng","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561956"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88806-0_10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_30"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304296"},{"article-title":"Overt: An algorithm for safety verification of neural network control policies for nonlinear systems","year":"2021","author":"Sidrane","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3133370"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06773-0_15"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"article-title":"Graduate studies in mathematics","year":"1998","author":"Evans","key":"ref22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"ref24","article-title":"Semidefinite relaxations for certifying robustness to adversarial examples","volume":"31","author":"Raghunathan","year":"2018","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.29007\/zbkv"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_5"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_25"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304022"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3123228"},{"article-title":"Analyzing inverse problems with invertible neural networks","year":"2018","author":"Ardizzone","key":"ref32"},{"key":"ref33","first-page":"573","article-title":"Invertible residual networks","volume-title":"International Conference on Machine Learning","author":"Behrmann"},{"key":"ref34","article-title":"Reachability analysis of hybrid systems with linear continuous dynamics","volume-title":"Ph.D. dissertation","author":"Le Guernic","year":"2009"},{"issue":"1","key":"ref35","first-page":"2909","article-title":"Cvxpy: A python-embedded modeling language for convex optimization","volume":"17","author":"Diamond","year":"2016","journal-title":"The Journal of Machine Learning Research"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.3390\/s21134374"}],"event":{"name":"2022 IEEE 61st Conference on Decision and Control (CDC)","start":{"date-parts":[[2022,12,6]]},"location":"Cancun, Mexico","end":{"date-parts":[[2022,12,9]]}},"container-title":["2022 IEEE 61st Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9992315\/9992317\/09992847.pdf?arnumber=9992847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T09:31:53Z","timestamp":1709371913000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9992847\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,6]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/cdc51059.2022.9992847","relation":{},"subject":[],"published":{"date-parts":[[2022,12,6]]}}}