{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T12:40:16Z","timestamp":1770813616377,"version":"3.50.1"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,23]],"date-time":"2022-05-23T00:00:00Z","timestamp":1653264000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000181","name":"AFOSR","doi-asserted-by":"publisher","award":["FA9550-19-1-0169"],"award-info":[{"award-number":["FA9550-19-1-0169"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1932011"],"award-info":[{"award-number":["CNS-1932011"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5,23]]},"DOI":"10.1109\/icra46639.2022.9811866","type":"proceedings-article","created":{"date-parts":[[2022,7,12]],"date-time":"2022-07-12T19:36:40Z","timestamp":1657654600000},"page":"6800-6806","source":"Crossref","is-referenced-by-count":5,"title":["Formal Verification of Stochastic Systems with ReLU Neural Network Controllers"],"prefix":"10.1109","author":[{"given":"Shiqi","family":"Sun","sequence":"first","affiliation":[{"name":"Duke University,Department of Mechanical Engineering and Materials Science,Durham,NC,USA,27708"}]},{"given":"Yan","family":"Zhang","sequence":"additional","affiliation":[{"name":"Duke University,Department of Mechanical Engineering and Materials Science,Durham,NC,USA,27708"}]},{"given":"Xusheng","family":"Luo","sequence":"additional","affiliation":[{"name":"Duke University,Department of Mechanical Engineering and Materials Science,Durham,NC,USA,27708"}]},{"given":"Panagiotis","family":"Vlantis","sequence":"additional","affiliation":[{"name":"Duke University,Department of Mechanical Engineering and Materials Science,Durham,NC,USA,27708"}]},{"given":"Miroslav","family":"Pajic","sequence":"additional","affiliation":[{"name":"Duke University,Department of Electrical and Computer Engineering,Durham,NC,USA,27708"}]},{"given":"Michael M.","family":"Zavlanos","sequence":"additional","affiliation":[{"name":"Duke University,Department of Mechanical Engineering and Materials Science,Durham,NC,USA,27708"}]}],"member":"263","reference":[{"key":"ref10","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":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"ref13","article-title":"Case Study: Verifying the Safety of an Au-tonomous Racing Car with a Neural Network Controller","author":"ivanov","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049819"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311802"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2398883"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00023"},{"key":"ref18","article-title":"Specification-guided verification and abstraction refinement of mixed monotone stochastic systems[J]","author":"dutreix","year":"2020","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382209"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8202312"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2017.2665693"},{"key":"ref6","article-title":"Verification for machine learning, au-tonomy, and neural networks survey","author":"xiang","year":"2018","journal-title":"ArXiv Preprint"},{"key":"ref5","first-page":"655","article-title":"Training networks separately on static and dynamic obstacles improves collision avoidance during indoor robot navigation","author":"schmuck","year":"0","journal-title":"European Symposium on Artificial Neural Networks Computational Intelligence and Machine LearningEuropean Symposium on Artificial Neural Networks Computational Intelligence and Machine Learning"},{"key":"ref8","first-page":"9459","article-title":"Certified Adversarial Robustness with Additive Noise","author":"li","year":"2019","journal-title":"Advances in neural information processing systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3055399.3055491"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3906\/elk-1603-75"},{"key":"ref1","first-page":"8958","article-title":"Vari-ational end-to-end navigation and localization","author":"amini","year":"0","journal-title":"2019 International Conference on Robotics and Automation (ICRA)"},{"key":"ref9","article-title":"Probabilistic Verifi-cation and Reachability Analysis of Neural Networks via Semidefinite Programming","author":"fazlyab","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref20","first-page":"1","article-title":"Statisti-cal verification of hyperproperties for cyber-physical systems","author":"wang","year":"2019","journal-title":"ACM Trans Embedded Comput Syst (TECS)"},{"key":"ref22","article-title":"Formal Verification of Stochastic Systems with ReLU Neural Network Controllers","author":"sun","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2161160"},{"key":"ref23","first-page":"5777","volume":"29","author":"xiang","year":"2018","journal-title":"Output reachable set estimation and verification for multi-layer neural networks"}],"event":{"name":"2022 IEEE International Conference on Robotics and Automation (ICRA)","location":"Philadelphia, PA, USA","start":{"date-parts":[[2022,5,23]]},"end":{"date-parts":[[2022,5,27]]}},"container-title":["2022 International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9811522\/9811357\/09811866.pdf?arnumber=9811866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T23:06:46Z","timestamp":1667516806000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9811866\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,23]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/icra46639.2022.9811866","relation":{},"subject":[],"published":{"date-parts":[[2022,5,23]]}}}