{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:15:30Z","timestamp":1768338930874,"version":"3.49.0"},"reference-count":41,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T00:00:00Z","timestamp":1685318400000},"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":[[2023,5,29]]},"DOI":"10.1109\/icra48891.2023.10160643","type":"proceedings-article","created":{"date-parts":[[2023,7,4]],"date-time":"2023-07-04T17:20:56Z","timestamp":1688491256000},"page":"10546-10552","source":"Crossref","is-referenced-by-count":6,"title":["One-Shot Reachability Analysis of Neural Network Dynamical Systems"],"prefix":"10.1109","author":[{"given":"Shaoru","family":"Chen","sequence":"first","affiliation":[{"name":"University of Pennsylvania,Department of Electrical and Systems Engineering"}]},{"given":"Victor M.","family":"Preciado","sequence":"additional","affiliation":[{"name":"University of Pennsylvania,Department of Electrical and Systems Engineering"}]},{"given":"Mahyar","family":"Fazlyab","sequence":"additional","affiliation":[{"name":"Mathematical Institute for Data Science, Johns Hopkins University"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.nonrwa.2018.07.007"},{"key":"ref12","article-title":"Reach-ability analysis for neural agent-environment systems","author":"akintunde","year":"2018","journal-title":"Principles of Knowledge Representation and Reasoning-international Conference"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6918-6_14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992655"},{"key":"ref37","first-page":"370","article-title":"Lagrangian decomposition for neural network verification","author":"bunel","year":"2020","journal-title":"Conference on Uncertainty in Artificial Intelligence"},{"key":"ref14","article-title":"Open-and closed-loop neural network verification using polynomial zonotopes","author":"kochdumper","year":"2022","journal-title":"ArXiv Preprint"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.026"},{"key":"ref11","article-title":"Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming","author":"fazlyab","year":"2020","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/BF02684450"},{"key":"ref10","article-title":"Semidefinite relax-ations for certifying robustness to adversarial examples","volume":"31","author":"raghunathan","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref32","article-title":"Fast and effective robustness certification","volume":"31","author":"singh","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref2","article-title":"Adversarial attacks on neural network policies","author":"huang","year":"2017","journal-title":"5th International Conference on Learning Representations ICLR 2017"},{"key":"ref1","article-title":"Explaining and harnessing adversarial examples","author":"goodfellow","year":"2015","journal-title":"3rd International Conference on Learning Representations ICLR 2015"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304296"},{"key":"ref39","article-title":"Correct equations for the dynamics of the cart-pole system","author":"florian","year":"2007","journal-title":"Center for Cognitive and Neural Studies (Coneural) Romania"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561348"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/OJCSYS.2022.3187429"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303895"},{"key":"ref18","first-page":"1","article-title":"Overt: An algorithm for safety verification of neural network control policies for nonlinear systems","volume":"23","author":"sidrane","year":"2022","journal-title":"Journal of Machine Learning Research"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431048"},{"key":"ref23","article-title":"Improved branch and bound for neural network verification via lagrangian decomposition","author":"de palma","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3358230"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3133370"},{"key":"ref20","first-page":"5276","article-title":"Towards fast computation of certified robustness for relu networks","author":"weng","year":"2018","journal-title":"International Conference on Machine Learning"},{"key":"ref41","article-title":"Gurobi Optimizer Reference Manual","year":"2022","journal-title":"Gurobi Optimization LLC"},{"key":"ref22","article-title":"A convex relaxation barrier to tight robustness verification of neural networks","volume":"32","author":"salman","year":"2019","journal-title":"Advances in neural information processing systems"},{"key":"ref21","article-title":"Automatic perturbation analy-sis for scalable certified robustness and beyond","volume":"33","author":"xu","year":"2020","journal-title":"Advances in neural information processing systems"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i7.20790"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"ref8","article-title":"A unified view of piecewise linear neural network verification","volume":"31","author":"bunel","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref7","first-page":"3","article-title":"A dual approach to scalable verification of deep networks","volume":"1","author":"dvijotham","year":"2018","journal-title":"UAI"},{"key":"ref9","article-title":"Beyond the single neuron convex barrier for neural network certification","volume":"32","author":"singh","year":"2019","journal-title":"Advances in neural information processing systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"ref3","article-title":"Evaluating robustness of neural networks with mixed integer programming","author":"tjeng","year":"2017","journal-title":"ArXiv Preprint"},{"key":"ref6","article-title":"Efficient neural network robustness certification with general acti-vation functions","volume":"31","author":"zhang","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref5","first-page":"5286","article-title":"Provable defenses against adversarial ex-amples via the convex outer adversarial polytope","author":"wong","year":"2018","journal-title":"International Conference on Machine Learning"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2016.12.009"}],"event":{"name":"2023 IEEE International Conference on Robotics and Automation (ICRA)","location":"London, United Kingdom","start":{"date-parts":[[2023,5,29]]},"end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10160211\/10160212\/10160643.pdf?arnumber=10160643","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T17:31:43Z","timestamp":1690219903000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10160643\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,29]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/icra48891.2023.10160643","relation":{},"subject":[],"published":{"date-parts":[[2023,5,29]]}}}