{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:01:09Z","timestamp":1755993669401,"version":"3.44.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T00:00:00Z","timestamp":1751932800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,8]]},"DOI":"10.23919\/acc63710.2025.11107585","type":"proceedings-article","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:17:51Z","timestamp":1755800271000},"page":"1321-1326","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes"],"prefix":"10.23919","author":[{"given":"Yuhao","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Wisconsin-Madison,Department of Mechanical Engineering,Madison,WI,USA"}]},{"given":"Xiangru","family":"Xu","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison,Department of Mechanical Engineering,Madison,WI,USA"}]}],"member":"263","reference":[{"article-title":"Explaining and harnessing adversarial examples","volume-title":"Proceedings of the 3rd International Conference on Learning Representations","author":"Goodfellow","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2019.2890858"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3133370"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992655"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/OJCSYS.2023.3265901"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3289572"},{"key":"ref7","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":"Reachability analysis of convolutional neural networks","year":"2021","author":"Yang","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-030-53288-8_2"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06773-0_11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2514\/1.I011071"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3197508"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.23919\/ACC55779.2023.10156417"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2024.3415471"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.23919\/ACC60939.2024.10644573"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111107"},{"volume-title":"Deep Learning","year":"2016","author":"Goodfellow","key":"ref18"},{"key":"ref19","first-page":"1319","article-title":"Maxout networks","volume-title":"International Conference on Machine Learning","author":"Goodfellow"},{"article-title":"Fully automatic neural network reduction for formal verification","year":"2023","author":"Ladner","key":"ref20"},{"key":"ref21","first-page":"29909","article-title":"Beta-CROWN: Efficient bound propagation with per-neuron split constraints for neural network robustness verification","volume":"34","author":"Wang","year":"2021","journal-title":"Advances in Neural Information Processing Systems"},{"article-title":"The second international verification of neural networks competition (VNN-COMP 2021): Summary and results","year":"2021","author":"Bak","key":"ref22"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"article-title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","year":"2020","author":"Xu","key":"ref24"}],"event":{"name":"2025 American Control Conference (ACC)","start":{"date-parts":[[2025,7,8]]},"location":"Denver, CO, USA","end":{"date-parts":[[2025,7,10]]}},"container-title":["2025 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11107441\/11107442\/11107585.pdf?arnumber=11107585","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:57:49Z","timestamp":1755907069000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11107585\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,8]]},"references-count":24,"URL":"https:\/\/doi.org\/10.23919\/acc63710.2025.11107585","relation":{},"subject":[],"published":{"date-parts":[[2025,7,8]]}}}