{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:01:32Z","timestamp":1779087692634,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,4]],"date-time":"2022-05-04T00:00:00Z","timestamp":1651622400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172211, 62172210, 62172200"],"award-info":[{"award-number":["62172211, 62172210, 62172200"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Leading-edge Technology Program of Jiangsu Natural Science Foundation","award":["BK20202001"],"award-info":[{"award-number":["BK20202001"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,4]]},"DOI":"10.1145\/3501710.3519511","type":"proceedings-article","created":{"date-parts":[[2022,4,28]],"date-time":"2022-04-28T14:28:32Z","timestamp":1651156112000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Verifying Neural Network Controlled Systems Using Neural Networks"],"prefix":"10.1145","author":[{"given":"Qingye","family":"Zhao","sequence":"first","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Chen","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuoyu","family":"Zhao","sequence":"additional","affiliation":[{"name":"Henan University of Economics and Law, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yifan","family":"Zhang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enyi","family":"Tang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xuandong","family":"Li","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,5,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Tensorflow: A system for large-scale machine learning. In 12th {USENIX} symposium on operating systems design and implementation ({OSDI} 16). 265\u2013283.","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi , Paul Barham , Jianmin Chen , Zhifeng Chen , Andy Davis , Jeffrey Dean , Matthieu Devin , Sanjay Ghemawat , Geoffrey Irving , Michael Isard , 2016 . Tensorflow: A system for large-scale machine learning. In 12th {USENIX} symposium on operating systems design and implementation ({OSDI} 16). 265\u2013283. Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, 2016. Tensorflow: A system for large-scale machine learning. In 12th {USENIX} symposium on operating systems design and implementation ({OSDI} 16). 265\u2013283."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456646"},{"key":"e_1_3_2_1_3_1","volume-title":"Convex optimization","author":"Boyd Stephen","unstructured":"Stephen Boyd , Stephen\u00a0 P Boyd , and Lieven Vandenberghe . 2004. Convex optimization . Cambridge university press . Stephen Boyd, Stephen\u00a0P Boyd, and Lieven Vandenberghe. 2004. Convex optimization. Cambridge university press."},{"key":"e_1_3_2_1_4_1","unstructured":"Arthur Clavi\u00e8re Eric Asselin Christophe Garion and Claire Pagetti. 2020. Safety Verification of Neural Network Controlled Systems. arXiv preprint arXiv:2011.05174(2020).  Arthur Clavi\u00e8re Eric Asselin Christophe Garion and Claire Pagetti. 2020. Safety Verification of Neural Network Controlled Systems. arXiv preprint arXiv:2011.05174(2020)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551274"},{"key":"e_1_3_2_1_6_1","volume-title":"Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees. In 2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 1\u20137.","author":"Deshmukh V","year":"2019","unstructured":"Jyotirmoy\u00a0 V Deshmukh , James\u00a0 P Kapinski , Tomoya Yamaguchi , and Danil Prokhorov . 2019 . Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees. In 2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 1\u20137. Jyotirmoy\u00a0V Deshmukh, James\u00a0P Kapinski, Tomoya Yamaguchi, and Danil Prokhorov. 2019. Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees. In 2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 1\u20137."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(89)90002-2"},{"key":"e_1_3_2_1_9_1","volume-title":"Deep learning. Vol.\u00a01","author":"Goodfellow Ian","unstructured":"Ian Goodfellow , Yoshua Bengio , Aaron Courville , and Yoshua Bengio . 2016. Deep learning. Vol.\u00a01 . MIT press Cambridge . Ian Goodfellow, Yoshua Bengio, Aaron Courville, and Yoshua Bengio. 2016. Deep learning. Vol.\u00a01. MIT press Cambridge."},{"key":"e_1_3_2_1_10_1","unstructured":"Incorporate Gurobi\u00a0Optimization. 2021. Gurobi optimizer reference manual. URL https:\/\/www.gurobi.com(2021).  Incorporate Gurobi\u00a0Optimization. 2021. Gurobi optimizer reference manual. URL https:\/\/www.gurobi.com(2021)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0893-6080(89)90020-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304296"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3419742","article-title":"Verifying the safety of autonomous systems with neural network controllers","volume":"20","author":"Ivanov Radoslav","year":"2020","unstructured":"Radoslav Ivanov , Taylor\u00a0 J Carpenter , James Weimer , Rajeev Alur , George\u00a0 J Pappas , and Insup Lee . 2020 . Verifying the safety of autonomous systems with neural network controllers . ACM Transactions on Embedded Computing Systems (TECS) 20 , 1(2020), 1 \u2013 26 . Radoslav Ivanov, Taylor\u00a0J Carpenter, James Weimer, Rajeev Alur, George\u00a0J Pappas, and Insup Lee. 2020. Verifying the safety of autonomous systems with neural network controllers. ACM Transactions on Embedded Computing Systems (TECS) 20, 1(2020), 1\u201326.","journal-title":"ACM Transactions on Embedded Computing Systems (TECS)"},{"key":"e_1_3_2_1_15_1","unstructured":"Kyle\u00a0D Julian and Mykel\u00a0J Kochenderfer. 2019. A reachability method for verifying dynamical systems with deep neural network controllers. arXiv preprint arXiv:1903.00520(2019).  Kyle\u00a0D Julian and Mykel\u00a0J Kochenderfer. 2019. A reachability method for verifying dynamical systems with deep neural network controllers. arXiv preprint arXiv:1903.00520(2019)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"e_1_3_2_1_17_1","volume-title":"Applications of interval computations. Vol.\u00a03","author":"Kearfott R\u00a0Baker","unstructured":"R\u00a0Baker Kearfott and Vladik Kreinovich . 2013. Applications of interval computations. Vol.\u00a03 . Springer Science & Business Media . R\u00a0Baker Kearfott and Vladik Kreinovich. 2013. Applications of interval computations. Vol.\u00a03. Springer Science & Business Media."},{"key":"e_1_3_2_1_18_1","volume-title":"Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980(2014).","author":"Kingma P","year":"2014","unstructured":"Diederik\u00a0 P Kingma and Jimmy Ba . 2014 . Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980(2014). Diederik\u00a0P Kingma and Jimmy Ba. 2014. Adam: A method for stochastic optimization. arXiv preprint arXiv:1412.6980(2014)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_17"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxt059"},{"key":"e_1_3_2_1_21_1","volume-title":"The Autonomous Vehicles Symposium, Vol.\u00a02018","author":"Lin Lei","year":"2018","unstructured":"Lei Lin , Siyuan Gong , Tao Li , and Srinivas Peeta . 2018 . Deep learning-based human-driven vehicle trajectory prediction and its application for platoon control of connected and autonomous vehicles . In The Autonomous Vehicles Symposium, Vol.\u00a02018 . Lei Lin, Siyuan Gong, Tao Li, and Srinivas Peeta. 2018. Deep learning-based human-driven vehicle trajectory prediction and its application for platoon control of connected and autonomous vehicles. In The Autonomous Vehicles Symposium, Vol.\u00a02018."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.01168"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038659"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19249-9_23"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72016-2_20"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755984"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-007-0046-1"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586327"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"e_1_3_2_1_32_1","unstructured":"Jasper Snoek Hugo Larochelle and Ryan\u00a0P Adams. 2012. Practical bayesian optimization of machine learning algorithms. In Advances in neural information processing systems. 2951\u20132959.  Jasper Snoek Hugo Larochelle and Ryan\u00a0P Adams. 2012. Practical bayesian optimization of machine learning algorithms. In Advances in neural information processing systems. 2951\u20132959."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49122-5_13"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311802"},{"key":"e_1_3_2_1_35_1","unstructured":"Vincent Tjeng Kai Xiao and Russ Tedrake. 2017. Evaluating robustness of neural networks with mixed integer programming. arXiv preprint arXiv:1711.07356(2017).  Vincent Tjeng Kai Xiao and Russ Tedrake. 2017. Evaluating robustness of neural networks with mixed integer programming. arXiv preprint arXiv:1711.07356(2017)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3199852"},{"key":"e_1_3_2_1_37_1","volume-title":"27th {USENIX} Security Symposium ({USENIX} Security 18). 1599\u20131614.","author":"Wang Shiqi","unstructured":"Shiqi Wang , Kexin Pei , Justin Whitehouse , Junfeng Yang , and Suman Jana . 2018. Formal security analysis of neural networks using symbolic intervals . In 27th {USENIX} Security Symposium ({USENIX} Security 18). 1599\u20131614. Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, and Suman Jana. 2018. Formal security analysis of neural networks using symbolic intervals. In 27th {USENIX} Security Symposium ({USENIX} Security 18). 1599\u20131614."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062224"},{"key":"e_1_3_2_1_39_1","unstructured":"Weiming Xiang and Taylor\u00a0T Johnson. 2018. Reachability analysis and safety verification for neural network control systems. arXiv preprint arXiv:1805.09944(2018).  Weiming Xiang and Taylor\u00a0T Johnson. 2018. Reachability analysis and safety verification for neural network control systems. arXiv preprint arXiv:1805.09944(2018)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2868859"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456650"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629424"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2968478.2968484"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382222"},{"key":"e_1_3_2_1_45_1","volume-title":"Learning Safe Neural Network Controllers with Barrier Certificates. In International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer, 177\u2013185","author":"Zhao Hengjun","year":"2020","unstructured":"Hengjun Zhao , Xia Zeng , Taolue Chen , Zhiming Liu , and Jim Woodcock . 2020 . Learning Safe Neural Network Controllers with Barrier Certificates. In International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer, 177\u2013185 . Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, and Jim Woodcock. 2020. Learning Safe Neural Network Controllers with Barrier Certificates. In International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer, 177\u2013185."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456638"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314638"}],"event":{"name":"HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control","location":"Milan Italy","acronym":"HSCC '22","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["25th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519511","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3501710.3519511","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:11Z","timestamp":1750183811000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519511"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,4]]},"references-count":47,"alternative-id":["10.1145\/3501710.3519511","10.1145\/3501710"],"URL":"https:\/\/doi.org\/10.1145\/3501710.3519511","relation":{},"subject":[],"published":{"date-parts":[[2022,5,4]]},"assertion":[{"value":"2022-05-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}