{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T06:40:18Z","timestamp":1769755218324,"version":"3.49.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:00:00Z","timestamp":1622332800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:00:00Z","timestamp":1622332800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,5,30]],"date-time":"2021-05-30T00:00:00Z","timestamp":1622332800000},"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":[[2021,5,30]]},"DOI":"10.1109\/icra48506.2021.9561348","type":"proceedings-article","created":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T00:28:35Z","timestamp":1634689715000},"page":"4384-4390","source":"Crossref","is-referenced-by-count":11,"title":["Efficient Reachability Analysis of Closed-Loop Systems with Neural Network Controllers"],"prefix":"10.1109","author":[{"given":"Michael","family":"Everett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Golnaz","family":"Habibi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan P.","family":"How","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.29007\/btv1"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-1-4757-3216-0_8","article-title":"The mosek interior point optimizer for linear programming: an implementation of the homogeneous algorithm","author":"andersen","year":"2000","journal-title":"High Performance Optimization"},{"key":"ref33","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":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3387168.3387244"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184414"},{"key":"ref37","article-title":"Keras","author":"chollet","year":"2015"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"},{"key":"ref35","article-title":"Robustness analysis of neural networks via efficient partitioning with applications in control systems","author":"everett","year":"2020","journal-title":"Systems & Control Letters"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2020.2965893"},{"key":"ref10","first-page":"4939","article-title":"Efficient neural network robustness certification with general activation functions","author":"zhang","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref11","first-page":"5283","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","author":"wong","year":"2018","journal-title":"ICML vol 80 of Proceedings of Machine Learning Research"},{"key":"ref12","article-title":"Certified defenses against adversarial examples","author":"raghunathan","year":"2018","journal-title":"International Conference on Learning Representations (ICLR)"},{"key":"ref13","article-title":"Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming","author":"fazlyab","year":"2019"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_30"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_5"},{"key":"ref4","article-title":"An approach to reachability analysis for feed-forward relu neural networks","author":"lomuscio","year":"2017","journal-title":"CoRR"},{"key":"ref27","article-title":"An introduction to cora 2015","author":"althoff","year":"2015","journal-title":"Proc of the Workshop on Applied Verification for Continuous and Hybrid Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_29"},{"key":"ref5","article-title":"Evaluating robustness of neural networks with mixed integer programming","author":"tjeng","year":"2019","journal-title":"International Conference on Learning Representations (ICLR)"},{"key":"ref8","article-title":"Towards fast computation of certified robustness for relu networks","author":"weng","year":"2018","journal-title":"International Conference on Machine Learning (ICML)"},{"key":"ref7","article-title":"On the effectiveness of interval bound propagation for training verifiably robust models","author":"gowal","year":"2018"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref9","first-page":"10802","article-title":"Fast and effective robustness certification","author":"singh","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.2991090"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431048"},{"key":"ref21","article-title":"Reach-sdp: Reachability analysis of closed-loop systems with neural network controllers via semidefinite programming","author":"hu","year":"2020","journal-title":"59th IEEE Conf Decision Contr"},{"key":"ref24","first-page":"97","article-title":"Reluplex: An efficient smt solver for verifying deep neural networks","author":"katz","year":"2017","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref23","article-title":"Intriguing properties of neural networks","author":"szegedy","year":"2014","journal-title":"International Conference on Learning Representations (ICLR)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"}],"event":{"name":"2021 IEEE International Conference on Robotics and Automation (ICRA)","location":"Xi'an, China","start":{"date-parts":[[2021,5,30]]},"end":{"date-parts":[[2021,6,5]]}},"container-title":["2021 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9560720\/9560666\/09561348.pdf?arnumber=9561348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:47:08Z","timestamp":1652197628000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9561348\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,30]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/icra48506.2021.9561348","relation":{},"subject":[],"published":{"date-parts":[[2021,5,30]]}}}