{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:22:24Z","timestamp":1766067744167,"version":"build-2065373602"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"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":[[2023,5,31]]},"DOI":"10.23919\/acc55779.2023.10156051","type":"proceedings-article","created":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T17:48:03Z","timestamp":1688406483000},"page":"3523-3528","source":"Crossref","is-referenced-by-count":6,"title":["A Hybrid Partitioning Strategy for Backward Reachability of Neural Feedback Loops"],"prefix":"10.23919","author":[{"given":"Nicholas","family":"Rober","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology,Aerospace Controls Laboratory,Cambridge,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Everett","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology,Aerospace Controls Laboratory,Cambridge,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Songan","family":"Zhang","sequence":"additional","affiliation":[{"name":"Ford Motor Company,Dearborn,MI,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan P.","family":"How","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology,Aerospace Controls Laboratory,Cambridge,MA,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Backward reachability analysis for neural feedback loops","year":"2022","author":"rober","key":"ref13"},{"journal-title":"Closed-loop acas xu nncs is unsafe Quantized state backreachability for verification","year":"2022","author":"bak","key":"ref12"},{"key":"ref15","first-page":"1599","article-title":"Formal security analysis of neural networks using symbolic intervals","author":"wang","year":"2018","journal-title":"27th USENIX Security Symposium (USENIX Security 18)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561956"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3133370"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/1.G003724"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLA.2019.00147"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3045323"},{"journal-title":"Fast neural network verification via shadow prices","year":"2019","author":"rubies-royo","key":"ref16"},{"journal-title":"Backward reachability analysis of neural feedback loops Techniques for linear and nonlinear systems","year":"2022","author":"rober","key":"ref18"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88806-0_10"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref4","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"},{"article-title":"Adversarial examples in the physical world","year":"2016","author":"kurakin","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref5","article-title":"Semidefinite relaxations for certifying robustness to adversarial examples","volume":"31","author":"raghunathan","year":"2018","journal-title":"Advances in neural information processing systems"}],"event":{"name":"2023 American Control Conference (ACC)","start":{"date-parts":[[2023,5,31]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10155646\/10155787\/10156051.pdf?arnumber=10156051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T17:40:55Z","timestamp":1692639655000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10156051\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,31]]},"references-count":18,"URL":"https:\/\/doi.org\/10.23919\/acc55779.2023.10156051","relation":{},"subject":[],"published":{"date-parts":[[2023,5,31]]}}}