{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T06:44:19Z","timestamp":1773384259183,"version":"3.50.1"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,12,16]],"date-time":"2024-12-16T00:00:00Z","timestamp":1734307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,12,16]],"date-time":"2024-12-16T00:00:00Z","timestamp":1734307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,12,16]]},"DOI":"10.1109\/cdc56724.2024.10886078","type":"proceedings-article","created":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T18:43:32Z","timestamp":1740595412000},"page":"1645-1650","source":"Crossref","is-referenced-by-count":2,"title":["Scaling Mixed-Integer Programming for Certification of Neural Network Controllers Using Bounds Tightening"],"prefix":"10.1109","author":[{"given":"Philip","family":"Sosnin","sequence":"first","affiliation":[{"name":"Imperial College,Department of Computing,London,UK"}]},{"given":"Calvin","family":"Tsay","sequence":"additional","affiliation":[{"name":"Imperial College,Department of Computing,London,UK"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Model predictive control: theory, computation, and design","volume":"2","author":"Rawlings","year":"2017","journal-title":"Nob Hill Publishing Madison"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01094-1_29"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00308-4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00044-W"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2020.2999556"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3283213"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3216978"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303895"},{"key":"ref9","article-title":"When deep learning meets polyhedral theory: A survey","author":"Huchette","year":"2023","journal-title":"arXiv:2305.00241"},{"key":"ref10","article-title":"An approach to reachability analysis for feed-forward ReLU neural networks","author":"Lomuscio","year":"2017","journal-title":"arXiv:1706.07351"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-020-01474-5"},{"key":"ref12","first-page":"3068","article-title":"Partition-based formulations for mixed-integer optimization of trained ReLU neural networks","volume":"34","author":"Tsay","year":"2021","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"ref15","article-title":"On the effectiveness of interval bound propagation for training verifiably robust models","author":"Gowal","year":"2018","journal-title":"arXiv:1810.12715"},{"key":"ref16","article-title":"Computational tradeoffs of optimization-based bound tightening in ReLU networks","author":"Badilla","year":"2023","journal-title":"arXiv:2312.16699"},{"key":"ref17","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":"ref18","first-page":"21 675","article-title":"The convex relaxation barrier, revisited: Tightened single-neuron relaxations for neural network verification","volume":"33","author":"Tjandraatmadja","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref19","article-title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","author":"Xu","year":"2020","journal-title":"arXiv:2011.13824"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-60599-4_20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2009.7074764"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431275"},{"key":"ref23","article-title":"Implementation of linear model predictive control-tutorial","author":"Fink","year":"2021","journal-title":"arXiv:2109.11986"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669862"},{"key":"ref25","volume-title":"Gurobi optimizer reference manual","year":"2023"},{"key":"ref26","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"}],"event":{"name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","location":"Milan, Italy","start":{"date-parts":[[2024,12,16]]},"end":{"date-parts":[[2024,12,19]]}},"container-title":["2024 IEEE 63rd Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10885784\/10885785\/10886078.pdf?arnumber=10886078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T07:09:06Z","timestamp":1740640146000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10886078\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,16]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc56724.2024.10886078","relation":{},"subject":[],"published":{"date-parts":[[2024,12,16]]}}}