{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:27:20Z","timestamp":1730341640878,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,5,25]]},"DOI":"10.23919\/acc50511.2021.9483033","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T20:29:16Z","timestamp":1627504156000},"page":"888-893","source":"Crossref","is-referenced-by-count":0,"title":["Robustness Analysis of Neural Networks via Efficient Partitioning with Applications in Control Systems"],"prefix":"10.23919","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":"ref10","first-page":"4939","article-title":"Effi-cient neural network robustness certification with general activation functions","author":"zhang","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref11","article-title":"Towards fast computation of certified robustness for relu networks","author":"weng","year":"2018","journal-title":"International Conference on Machine Learning (ICML)"},{"key":"ref12","first-page":"10802","article-title":"Fast and effective robustness certification","author":"singh","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref13","article-title":"Tightened convex relaxations for neural network robustness certification","author":"anderson","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"},{"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":"ref16","article-title":"Fast neural network verification via shadow prices","author":"rubies-royo","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.2991090"},{"key":"ref18","first-page":"9835","article-title":"A convex relaxation barrier to tight robustness verification of neural networks","author":"salman","year":"2019","journal-title":"Advances in neural information processing systems"},{"key":"ref19","first-page":"15098","article-title":"Beyond the single neuron convex barrier for neural network certification","author":"singh","year":"2019","journal-title":"Advances in neural information processing systems"},{"key":"ref4","article-title":"An approach to reachability analysis for feed-forward relu neural networks","volume":"abs 1706 7351","author":"lomuscio","year":"2017","journal-title":"CoRR"},{"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":"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":"Certified defenses against adversarial examples","author":"raghunathan","year":"2018","journal-title":"International Conference on Learning Representations (ICLR)"},{"key":"ref7","article-title":"On the effectiveness of interval bound propagation for training verifiably robust models","author":"gowal","year":"2018","journal-title":"ArXiv Preprint"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"ref9","article-title":"Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming","author":"fazlyab","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref20","article-title":"Towards stable and efficient training of verifiably robust neural networks","author":"zhang","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8461113"},{"key":"ref21","article-title":"Certified adversarial robustness for deep reinforcement learning","author":"everett","year":"2020","journal-title":"ArXiv Preprint"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8593871"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989037"}],"event":{"name":"2021 American Control Conference (ACC)","start":{"date-parts":[[2021,5,25]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2021,5,28]]}},"container-title":["2021 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9482409\/9482614\/09483033.pdf?arnumber=9483033","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,6]],"date-time":"2021-10-06T10:51:10Z","timestamp":1633517470000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9483033\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,25]]},"references-count":24,"URL":"https:\/\/doi.org\/10.23919\/acc50511.2021.9483033","relation":{},"subject":[],"published":{"date-parts":[[2021,5,25]]}}}