{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:18Z","timestamp":1750221018340,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,26]],"date-time":"2019-08-26T00:00:00Z","timestamp":1566777600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,26]]},"DOI":"10.1145\/3387168.3387244","type":"proceedings-article","created":{"date-parts":[[2020,5,26]],"date-time":"2020-05-26T00:25:51Z","timestamp":1590452751000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Efficient Verification of Control Systems with Neural Network Controllers"],"prefix":"10.1145","author":[{"given":"Guoqing","family":"Yang","sequence":"first","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guangyi","family":"Qian","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pan","family":"Lv","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Li","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,5,25]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"48","article-title":"Approximation with artificial neural networks","volume":"24","author":"Cs\u00e1ji B. C.","year":"2001","unstructured":"B. C. Cs\u00e1ji , \" Approximation with artificial neural networks ,\" Faculty of Sciences, Etvs Lornd University, Hungary , vol. 24 , p. 48 , 2001 . B. C. Cs\u00e1ji, \"Approximation with artificial neural networks,\" Faculty of Sciences, Etvs Lornd University, Hungary, vol. 24, p. 48, 2001.","journal-title":"Faculty of Sciences, Etvs Lornd University, Hungary"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1038\/nature24270"},{"key":"e_1_3_2_1_3_1","first-page":"379","volume-title":"Spaceex: Scalable verification of hybrid systems,\" in International Conference on Computer Aided Verification","author":"Frehse G.","year":"2011","unstructured":"G. Frehse , C. Le Guernic , A. Donz\u00e9 , S. Cotton , R. Ray , O. Lebeltel , R. Ripado , A. Girard , T. Dang , and O. Maler , \" Spaceex: Scalable verification of hybrid systems,\" in International Conference on Computer Aided Verification . Springer , 2011 , pp. 379 -- 395 . G. Frehse, C. Le Guernic, A. Donz\u00e9, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, and O. Maler, \"Spaceex: Scalable verification of hybrid systems,\" in International Conference on Computer Aided Verification. Springer, 2011, pp. 379--395."},{"key":"e_1_3_2_1_4_1","first-page":"97","volume-title":"Reluplex: An efficient smt solver for verifying deep neural networks,\" in International Conference on Computer Aided Verification","author":"Katz G.","year":"2017","unstructured":"G. Katz , C. Barrett , D. L. Dill , K. Julian , and M. J. Kochenderfer , \" Reluplex: An efficient smt solver for verifying deep neural networks,\" in International Conference on Computer Aided Verification . Springer , 2017 , pp. 97 -- 117 . G. Katz, C. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer, \"Reluplex: An efficient smt solver for verifying deep neural networks,\" in International Conference on Computer Aided Verification. Springer, 2017, pp. 97--117."},{"key":"e_1_3_2_1_5_1","first-page":"1","volume-title":"2016 IEEE\/AIAA 35th. IEEE","author":"Julian K. D.","year":"2016","unstructured":"K. D. Julian , J. Lopez , J. S. Brush , M. P. Owen , and M. J. Kochenderfer , \" Policy compression for aircraft collision avoidance systems,\" in Digital Avionics Systems Conference (DASC) , 2016 IEEE\/AIAA 35th. IEEE , 2016 , pp. 1 -- 10 . K. D. Julian, J. Lopez, J. S. Brush, M. P. Owen, and M. J. Kochenderfer, \"Policy compression for aircraft collision avoidance systems,\" in Digital Avionics Systems Conference (DASC), 2016 IEEE\/AIAA 35th. IEEE, 2016, pp. 1--10."},{"key":"e_1_3_2_1_6_1","first-page":"243","volume-title":"An abstraction-refinement approach to verification of artificial neural networks,\" in International Conference on Computer Aided Verification","author":"Pulina L.","year":"2010","unstructured":"L. Pulina and A. Tacchella , \" An abstraction-refinement approach to verification of artificial neural networks,\" in International Conference on Computer Aided Verification . Springer , 2010 , pp. 243 -- 257 . L. Pulina and A. Tacchella, \"An abstraction-refinement approach to verification of artificial neural networks,\" in International Conference on Computer Aided Verification. Springer, 2010, pp. 243--257."},{"key":"e_1_3_2_1_7_1","volume-title":"Zhang et al., \"End to end learning for self-driving cars,\" arXiv preprint arXiv:1604.07316","author":"Bojarski M.","year":"2016","unstructured":"M. Bojarski , D. Del Testa , D. Dworakowski , B. Firner , B. Flepp , P. Goyal , L. D. Jackel , M. Monfort , U. Muller , J. Zhang et al., \"End to end learning for self-driving cars,\" arXiv preprint arXiv:1604.07316 , 2016 . M. Bojarski, D. Del Testa, D. Dworakowski, B. Firner, B. Flepp, P. Goyal, L. D. Jackel, M. Monfort, U. Muller, J. Zhang et al., \"End to end learning for self-driving cars,\" arXiv preprint arXiv:1604.07316, 2016."},{"key":"e_1_3_2_1_8_1","first-page":"2613","volume-title":"Measuring neural net robustness with constraints,\" in Advances in neural information processing systems","author":"Bastani O.","year":"2016","unstructured":"O. Bastani , Y. Ioannou , L. Lampropoulos , D. Vytiniotis , A. Nori , and A. Criminisi , \" Measuring neural net robustness with constraints,\" in Advances in neural information processing systems , 2016 , pp. 2613 -- 2621 . O. Bastani, Y. Ioannou, L. Lampropoulos, D. Vytiniotis, A. Nori, and A. Criminisi, \"Measuring neural net robustness with constraints,\" in Advances in neural information processing systems, 2016, pp. 2613--2621."},{"key":"e_1_3_2_1_9_1","volume-title":"Output range analysis for deep neural networks,\" arXiv preprint arXiv:1709.09130","author":"Dutta S.","year":"2017","unstructured":"S. Dutta , S. Jha , S. Sanakaranarayanan , and A. Tiwari , \" Output range analysis for deep neural networks,\" arXiv preprint arXiv:1709.09130 , 2017 . S. Dutta, S. Jha, S. Sanakaranarayanan, and A. Tiwari, \"Output range analysis for deep neural networks,\" arXiv preprint arXiv:1709.09130, 2017."},{"key":"e_1_3_2_1_10_1","volume-title":"Reachability analysis of deep neural networks with provable guarantees,\" arXiv preprint arXiv:1805.02242","author":"Ruan W.","year":"2018","unstructured":"W. Ruan , X. Huang , and M. Kwiatkowska , \" Reachability analysis of deep neural networks with provable guarantees,\" arXiv preprint arXiv:1805.02242 , 2018 . W. Ruan, X. Huang, and M. Kwiatkowska, \"Reachability analysis of deep neural networks with provable guarantees,\" arXiv preprint arXiv:1805.02242, 2018."},{"key":"e_1_3_2_1_11_1","volume-title":"Reachability analysis and safety verification for neural network control systems,\" arXiv preprint arXiv:1805.09944","author":"Xiang W.","year":"2018","unstructured":"W. Xiang and T. T. Johnson , \" Reachability analysis and safety verification for neural network control systems,\" arXiv preprint arXiv:1805.09944 , 2018 . W. Xiang and T. T. Johnson, \"Reachability analysis and safety verification for neural network control systems,\" arXiv preprint arXiv:1805.09944, 2018."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1007\/978-3-319-97301-2_7"},{"key":"e_1_3_2_1_13_1","volume-title":"Specification-guided safety verification for feedforward neural networks,\" arXiv preprint arXiv:1812.06161","author":"Xiang W.","year":"2018","unstructured":"W. Xiang , H.-D. Tran , and T. T. Johnson , \" Specification-guided safety verification for feedforward neural networks,\" arXiv preprint arXiv:1812.06161 , 2018 . W. Xiang, H.-D. Tran, and T. T. Johnson, \"Specification-guided safety verification for feedforward neural networks,\" arXiv preprint arXiv:1812.06161, 2018."},{"key":"e_1_3_2_1_14_1","first-page":"1574","volume-title":"IEEE","author":"Xiang W.","year":"2018","unstructured":"W. Xiang , H.-D. Tran , J. A. Rosenfeld , and T. T. Johnson , \" Reachable set estimation and safety verification for piecewise linear systems with neural network controllers,\" in 2018 Annual American Control Conference (ACC) . IEEE , 2018 , pp. 1574 -- 1579 . W. Xiang, H.-D. Tran, J. A. Rosenfeld, and T. T. Johnson, \"Reachable set estimation and safety verification for piecewise linear systems with neural network controllers,\" in 2018 Annual American Control Conference (ACC). IEEE, 2018, pp. 1574--1579."},{"key":"e_1_3_2_1_15_1","first-page":"258","volume-title":"Flow: An analyzer for non-linear hybrid systems,\" in International Conference on Computer Aided Verification","author":"Chen X.","year":"2013","unstructured":"X. Chen , E. \u00c1brah\u00e1m , and S. Sankaranarayanan , \" Flow: An analyzer for non-linear hybrid systems,\" in International Conference on Computer Aided Verification . Springer , 2013 , pp. 258 -- 263 . X. Chen, E. \u00c1brah\u00e1m, and S. Sankaranarayanan, \"Flow: An analyzer for non-linear hybrid systems,\" in International Conference on Computer Aided Verification. Springer, 2013, pp. 258--263."},{"key":"e_1_3_2_1_16_1","first-page":"3","volume-title":"Safety verification of deep neural networks,\" in International Conference on Computer Aided Verification","author":"Huang X.","year":"2017","unstructured":"X. Huang , M. Kwiatkowska , S. Wang , and M. Wu , \" Safety verification of deep neural networks,\" in International Conference on Computer Aided Verification . Springer , 2017 , pp. 3 -- 29 . X. Huang, M. Kwiatkowska, S. Wang, and M. Wu, \"Safety verification of deep neural networks,\" in International Conference on Computer Aided Verification. Springer, 2017, pp. 3--29."}],"event":{"acronym":"ICVISP 2019","name":"ICVISP 2019: 3rd International Conference on Vision, Image and Signal Processing","location":"Vancouver BC Canada"},"container-title":["Proceedings of the 3rd International Conference on Vision, Image and Signal Processing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387168.3387244","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387168.3387244","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:17Z","timestamp":1750206377000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387168.3387244"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,26]]},"references-count":16,"alternative-id":["10.1145\/3387168.3387244","10.1145\/3387168"],"URL":"https:\/\/doi.org\/10.1145\/3387168.3387244","relation":{},"subject":[],"published":{"date-parts":[[2019,8,26]]},"assertion":[{"value":"2020-05-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}