{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,7]],"date-time":"2026-08-07T08:01:49Z","timestamp":1786089709731,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1845194"],"award-info":[{"award-number":["1845194"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302504.3311802","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"147-156","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":112,"title":["Formal verification of neural network controlled autonomous systems"],"prefix":"10.1145","author":[{"given":"Xiaowu","family":"Sun","sequence":"first","affiliation":[{"name":"University of Maryland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haitham","family":"Khedr","sequence":"additional","affiliation":[{"name":"University of Maryland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yasser","family":"Shoukry","sequence":"additional","affiliation":[{"name":"University of Maryland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Wikipedia \"List of autonomous car fatalities \" https:\/\/en.wikipedia.org\/wiki\/List_of_autonomous_car_fatalities.  Wikipedia \"List of autonomous car fatalities \" https:\/\/en.wikipedia.org\/wiki\/List_of_autonomous_car_fatalities."},{"key":"e_1_3_2_1_2_1","volume-title":"Robust deep reinforcement learning for security and safety in autonomous vehicle systems,\" arXiv preprint","author":"Ferdowsi A.","year":"2018","unstructured":"A. Ferdowsi , U. Challita , W. Saad , and N. B. Mandayam , \" Robust deep reinforcement learning for security and safety in autonomous vehicle systems,\" arXiv preprint , 2018 . A. Ferdowsi, U. Challita, W. Saad, and N. B. Mandayam, \"Robust deep reinforcement learning for security and safety in autonomous vehicle systems,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_3_1","volume-title":"AGI safety literature review,\" arXiv preprint","author":"Everitt T.","year":"2018","unstructured":"T. Everitt , G. Lea , and M. Hutter , \" AGI safety literature review,\" arXiv preprint , 2018 . T. Everitt, G. Lea, and M. Hutter, \"AGI safety literature review,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055399.3055491"},{"key":"e_1_3_2_1_5_1","first-page":"3520","article-title":"Certified defenses for data poisoning attacks","author":"Steinhardt J.","year":"2017","unstructured":"J. Steinhardt , P. W. W. Koh , and P. S. Liang , \" Certified defenses for data poisoning attacks ,\" in Advances in Neural Information Processing Systems , 2017 , pp. 3520 -- 3532 . J. Steinhardt, P. W. W. Koh, and P. S. Liang, \"Certified defenses for data poisoning attacks,\" in Advances in Neural Information Processing Systems, 2017, pp. 3520--3532.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3128572.3140451"},{"key":"e_1_3_2_1_7_1","volume-title":"Label sanitization against label flipping poisoning attacks,\" arXiv preprint","author":"Paudice A.","year":"2018","unstructured":"A. Paudice , L. Mu\u00f1oz-Gonz\u00e1lez , and E. C. Lupu , \" Label sanitization against label flipping poisoning attacks,\" arXiv preprint , 2018 . A. Paudice, L. Mu\u00f1oz-Gonz\u00e1lez, and E. C. Lupu, \"Label sanitization against label flipping poisoning attacks,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_8_1","volume-title":"Global robustness evaluation of deep neural networks with provable guarantees for l0 norm,\" arXiv preprint","author":"Ruan W.","year":"2018","unstructured":"W. Ruan , M. Wu , Y. Sun , X. Huang , D. Kroening , and M. Kwiatkowska , \" Global robustness evaluation of deep neural networks with provable guarantees for l0 norm,\" arXiv preprint , 2018 . W. Ruan, M. Wu, Y. Sun, X. Huang, D. Kroening, and M. Kwiatkowska, \"Global robustness evaluation of deep neural networks with provable guarantees for l0 norm,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"e_1_3_2_1_10_1","volume-title":"Deeptest: Automated testing of deep-neural-network-driven autonomous cars,\" arXiv preprint arXiv:1708.08559","author":"Tian Y.","year":"2017","unstructured":"Y. Tian , K. Pei , S. Jana , and B. Ray , \" Deeptest: Automated testing of deep-neural-network-driven autonomous cars,\" arXiv preprint arXiv:1708.08559 , 2017 . Y. Tian, K. Pei, S. Jana, and B. Ray, \"Deeptest: Automated testing of deep-neural-network-driven autonomous cars,\" arXiv preprint arXiv:1708.08559, 2017."},{"key":"e_1_3_2_1_11_1","first-page":"408","volume-title":"Feature-guided black-box safety testing of deep neural networks,\" in International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"Wicker M.","year":"2018","unstructured":"M. Wicker , X. Huang , and M. Kwiatkowska , \" Feature-guided black-box safety testing of deep neural networks,\" in International Conference on Tools and Algorithms for the Construction and Analysis of Systems . Springer , 2018 , pp. 408 -- 426 . M. Wicker, X. Huang, and M. Kwiatkowska, \"Feature-guided black-box safety testing of deep neural networks,\" in International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 2018, pp. 408--426."},{"key":"e_1_3_2_1_12_1","volume-title":"Testing deep neural networks,\" arXiv preprint","author":"Sun Y.","year":"2018","unstructured":"Y. Sun , X. Huang , and D. Kroening , \" Testing deep neural networks,\" arXiv preprint , 2018 . Y. Sun, X. Huang, and D. Kroening, \"Testing deep neural networks,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_13_1","volume-title":"Deepgauge: Comprehensive and multi-granularity testing criteria for gauging the robustness of deep learning systems,\" arXiv preprint","author":"Ma L.","year":"2018","unstructured":"L. Ma , F. Juefei-Xu , J. Sun , C. Chen , T. Su , F. Zhang , M. Xue , B. Li , L. Li , Y. Liu , J. Zhao , and Y. Wang , \" Deepgauge: Comprehensive and multi-granularity testing criteria for gauging the robustness of deep learning systems,\" arXiv preprint , 2018 . L. Ma, F. Juefei-Xu, J. Sun, C. Chen, T. Su, F. Zhang, M. Xue, B. Li, L. Li, Y. Liu, J. Zhao, and Y. Wang, \"Deepgauge: Comprehensive and multi-granularity testing criteria for gauging the robustness of deep learning systems,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_14_1","volume-title":"Detecting adversarial samples for deep neural networks through mutation testing,\" arXiv preprint","author":"Wang J.","year":"2018","unstructured":"J. Wang , J. Sun , P. Zhang , and X. Wang , \" Detecting adversarial samples for deep neural networks through mutation testing,\" arXiv preprint , 2018 . J. Wang, J. Sun, P. Zhang, and X. Wang, \"Detecting adversarial samples for deep neural networks through mutation testing,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_15_1","volume-title":"Deepmutation: Mutation testing of deep learning systems,\" arXiv preprint","author":"Ma L.","year":"2018","unstructured":"L. Ma , F. Zhang , J. Sun , M. Xue , B. Li , F. Juefei-Xu , C. Xie , L. Li , Y. Liu , J. Zhao , and Y. Wang , \" Deepmutation: Mutation testing of deep learning systems,\" arXiv preprint , 2018 . L. Ma, F. Zhang, J. Sun, M. Xue, B. Li, F. Juefei-Xu, C. Xie, L. Li, Y. Liu, J. Zhao, and Y. Wang, \"Deepmutation: Mutation testing of deep learning systems,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_16_1","volume-title":"Multiple-implementation testing of supervised learning software,\" in Proceedings of the AAAI-18 Workshop on Engineering Dependable and Secure Machine Learning Systems (EDSMLS)","author":"Srisakaokul S.","year":"2018","unstructured":"S. Srisakaokul , Z. Wu , A. Astorga , O. Alebiosu , and T. Xie , \" Multiple-implementation testing of supervised learning software,\" in Proceedings of the AAAI-18 Workshop on Engineering Dependable and Secure Machine Learning Systems (EDSMLS) , 2018 . S. Srisakaokul, Z. Wu, A. Astorga, O. Alebiosu, and T. Xie, \"Multiple-implementation testing of supervised learning software,\" in Proceedings of the AAAI-18 Workshop on Engineering Dependable and Secure Machine Learning Systems (EDSMLS), 2018."},{"key":"e_1_3_2_1_17_1","volume-title":"Deeproad: Gan-based metamorphic autonomous driving system testing,\" arXiv preprint","author":"Zhang M.","year":"2018","unstructured":"M. Zhang , Y. Zhang , L. Zhang , C. Liu , and S. Khurshid , \" Deeproad: Gan-based metamorphic autonomous driving system testing,\" arXiv preprint , 2018 . M. Zhang, Y. Zhang, L. Zhang, C. Liu, and S. Khurshid, \"Deeproad: Gan-based metamorphic autonomous driving system testing,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_18_1","volume-title":"Concolic testing for deep neural networks,\" arXiv preprint","author":"Sun Y.","year":"2018","unstructured":"Y. Sun , M. Wu , W. Ruan , X. Huang , M. Kwiatkowska , and D. Kroening , \" Concolic testing for deep neural networks,\" arXiv preprint , 2018 . Y. Sun, M. Wu, W. Ruan, X. Huang, M. Kwiatkowska, and D. Kroening, \"Concolic testing for deep neural networks,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_19_1","first-page":"357","volume-title":"Compositional falsification of cyber-physical systems with machine learning components,\" in NASA Formal Methods Symposium","author":"Dreossi T.","year":"2017","unstructured":"T. Dreossi , A. Donz\u00e9 , and S. A. Seshia , \" Compositional falsification of cyber-physical systems with machine learning components,\" in NASA Formal Methods Symposium . Springer , 2017 , pp. 357 -- 372 . T. Dreossi, A. Donz\u00e9, and S. A. Seshia, \"Compositional falsification of cyber-physical systems with machine learning components,\" in NASA Formal Methods Symposium. Springer, 2017, pp. 357--372."},{"key":"e_1_3_2_1_20_1","volume-title":"Simulation-based adversarial test generation for autonomous vehicles with machine learning components,\" arXiv preprint arXiv:1804.06760","author":"Tuncali C. E.","year":"2018","unstructured":"C. E. Tuncali , G. Fainekos , H. Ito , and J. Kapinski , \" Simulation-based adversarial test generation for autonomous vehicles with machine learning components,\" arXiv preprint arXiv:1804.06760 , 2018 . C. E. Tuncali, G. Fainekos, H. Ito, and J. Kapinski, \"Simulation-based adversarial test generation for autonomous vehicles with machine learning components,\" arXiv preprint arXiv:1804.06760, 2018."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858463"},{"key":"e_1_3_2_1_22_1","first-page":"163","volume-title":"Establishing safety criteria for artificial neural networks,\" in International Conference on Knowledge-Based and Intelligent Information and Engineering Systems","author":"Kurd Z.","year":"2003","unstructured":"Z. Kurd and T. Kelly , \" Establishing safety criteria for artificial neural networks,\" in International Conference on Knowledge-Based and Intelligent Information and Engineering Systems . Springer , 2003 , pp. 163 -- 169 . Z. Kurd and T. Kelly, \"Establishing safety criteria for artificial neural networks,\" in International Conference on Knowledge-Based and Intelligent Information and Engineering Systems. Springer, 2003, pp. 163--169."},{"key":"e_1_3_2_1_23_1","volume-title":"Towards verified artificial intelligence,\" arXiv preprint","author":"Seshia S. A.","year":"2016","unstructured":"S. A. Seshia , D. Sadigh , and S. S. Sastry , \" Towards verified artificial intelligence,\" arXiv preprint , 2016 . S. A. Seshia, D. Sadigh, and S. S. Sastry, \"Towards verified artificial intelligence,\" arXiv preprint, 2016."},{"key":"e_1_3_2_1_24_1","volume-title":"Formal specification for deep neural networks,\" arXiv preprint","author":"Seshia S. A.","year":"2018","unstructured":"S. A. Seshia , A. Desai , T. Dreossi , D. Fremont , S. Ghosh , E. Kim , S. Shivakumar , M. Vazquez-Chanlatte , and X. Yue , \" Formal specification for deep neural networks,\" arXiv preprint , 2018 . S. A. Seshia, A. Desai, T. Dreossi, D. Fremont, S. Ghosh, E. Kim, S. Shivakumar, M. Vazquez-Chanlatte, and X. Yue, \"Formal specification for deep neural networks,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_25_1","volume-title":"AI safety gridworlds,\" arXiv preprint","author":"Leike J.","year":"2017","unstructured":"J. Leike , M. Martic , V. Krakovna , P. A. Ortega , T. Everitt , A. Lefrancq , L. Orseau , and S. Legg , \" AI safety gridworlds,\" arXiv preprint , 2017 . J. Leike, M. Martic, V. Krakovna, P. A. Ortega, T. Everitt, A. Lefrancq, L. Orseau, and S. Legg, \"AI safety gridworlds,\" arXiv preprint, 2017."},{"key":"e_1_3_2_1_26_1","volume-title":"Automated verification of neural networks: Advances, challenges and perspectives,\" arXiv preprint","author":"Leofante F.","year":"2018","unstructured":"F. Leofante , N. Narodytska , L. Pulina , and A. Tacchella , \" Automated verification of neural networks: Advances, challenges and perspectives,\" arXiv preprint , 2018 . F. Leofante, N. Narodytska, L. Pulina, and A. Tacchella, \"Automated verification of neural networks: Advances, challenges and perspectives,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_27_1","first-page":"30","volume-title":"Towards verification of artificial neural networks,\" in Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","author":"Scheibler K.","year":"2015","unstructured":"K. Scheibler , L. Winterer , R. Wimmer , and B. Becker , \" Towards verification of artificial neural networks,\" in Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) , 2015 , pp. 30 -- 40 . K. Scheibler, L. Winterer, R. Wimmer, and B. Becker, \"Towards verification of artificial neural networks,\" in Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2015, pp. 30--40."},{"key":"e_1_3_2_1_28_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_29_1","first-page":"269","volume-title":"Springer","author":"Ehlers R.","year":"2017","unstructured":"R. Ehlers , \"Formal verification of piece-wise linear feed-forward neural networks,\" in International Symposium on Automated Technology for Verification and Analysis . Springer , 2017 , pp. 269 -- 286 . R. Ehlers, \"Formal verification of piece-wise linear feed-forward neural networks,\" in International Symposium on Automated Technology for Verification and Analysis. Springer, 2017, pp. 269--286."},{"key":"e_1_3_2_1_30_1","volume-title":"A unified view of piecewise linear neural network verification,\" arXiv preprint","author":"Bunel R.","year":"2018","unstructured":"R. Bunel , I. Turkaslan , P. H. S. Torr , P. Kohli , and M. P. Kumar , \" A unified view of piecewise linear neural network verification,\" arXiv preprint , 2018 . R. Bunel, I. Turkaslan, P. H. S. Torr, P. Kohli, and M. P. Kumar, \"A unified view of piecewise linear neural network verification,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_31_1","volume-title":"Reachability analysis of deep neural networks with provable guarantees,\" arXiv preprint","author":"Ruan W.","year":"2018","unstructured":"W. Ruan , X. Huang , and M. Kwiatkowska , \" Reachability analysis of deep neural networks with provable guarantees,\" arXiv preprint , 2018 . W. Ruan, X. Huang, and M. Kwiatkowska, \"Reachability analysis of deep neural networks with provable guarantees,\" arXiv preprint, 2018."},{"key":"e_1_3_2_1_32_1","first-page":"121","volume-title":"Output range analysis for deep feedforward neural networks,\" in NASA Formal Methods Symposium","author":"Dutta S.","year":"2018","unstructured":"S. Dutta , S. Jha , S. Sankaranarayanan , and A. Tiwari , \" Output range analysis for deep feedforward neural networks,\" in NASA Formal Methods Symposium . Springer , 2018 , pp. 121 -- 138 . S. Dutta, S. Jha, S. Sankaranarayanan, and A. Tiwari, \"Output range analysis for deep feedforward neural networks,\" in NASA Formal Methods Symposium. Springer, 2018, pp. 121--138."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_24"},{"key":"e_1_3_2_1_34_1","volume-title":"Verifying neural networks with mixed integer programming,\" arXiv preprint arXiv:1711.07356","author":"Tjeng V.","year":"2017","unstructured":"V. Tjeng and R. Tedrake , \" Verifying neural networks with mixed integer programming,\" arXiv preprint arXiv:1711.07356 , 2017 . V. Tjeng and R. Tedrake, \"Verifying neural networks with mixed integer programming,\" arXiv preprint arXiv:1711.07356, 2017."},{"key":"e_1_3_2_1_35_1","volume-title":"2018 IEEE Symposium on","author":"Gehr T.","year":"2018","unstructured":"T. Gehr , M. Mirman , D. Drachsler-Cohen , P. Tsankov , S. Chaudhuri , and M. Vechev , \" Ai 2: Safety and robustness certification of neural networks with abstract interpretation,\" in Security and Privacy (SP) , 2018 IEEE Symposium on , 2018 . T. Gehr, M. Mirman, D. Drachsler-Cohen, P. Tsankov, S. Chaudhuri, and M. Vechev, \"Ai 2: Safety and robustness certification of neural networks with abstract interpretation,\" in Security and Privacy (SP), 2018 IEEE Symposium on, 2018."},{"key":"e_1_3_2_1_36_1","volume-title":"Reachable set computation and safety verification for neural networks with relu activations,\" arXiv preprint arXiv:1712.08163","author":"Xiang W.","year":"2017","unstructured":"W. Xiang , H.-D. Tran , and T. T. Johnson , \" Reachable set computation and safety verification for neural networks with relu activations,\" arXiv preprint arXiv:1712.08163 , 2017 . W. Xiang, H.-D. Tran, and T. T. Johnson, \"Reachable set computation and safety verification for neural networks with relu activations,\" arXiv preprint arXiv:1712.08163, 2017."},{"key":"e_1_3_2_1_37_1","volume-title":"Verification for machine learning, autonomy, and neural networks survey,\" arXiv preprint arXiv:1810.01989","author":"Xiang W.","year":"2018","unstructured":"W. Xiang , P. Musau , A. A. Wild , D. M. Lopez , N. Hamilton , X. Yang , J. Rosenfeld , and T. T. Johnson , \" Verification for machine learning, autonomy, and neural networks survey,\" arXiv preprint arXiv:1810.01989 , 2018 . W. Xiang, P. Musau, A. A. Wild, D. M. Lopez, N. Hamilton, X. Yang, J. Rosenfeld, and T. T. Johnson, \"Verification for machine learning, autonomy, and neural networks survey,\" arXiv preprint arXiv:1810.01989, 2018."},{"key":"e_1_3_2_1_38_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."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"e_1_3_2_1_40_1","volume-title":"AAAI","author":"Akintunde M. E.","year":"2018","unstructured":"M. E. Akintunde , A. Lomuscio , L. Maganti , and E. Pirovano , \" Reachability analysis for neural agent-environment systems,\" in Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) . AAAI , 2018 . M. E. Akintunde, A. Lomuscio, L. Maganti, and E. Pirovano, \"Reachability analysis for neural agent-environment systems,\" in Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). AAAI, 2018."},{"key":"e_1_3_2_1_41_1","first-page":"379","volume-title":"SpaceEx: Scalable verification of hybrid systems,\" in International Conference on Computer Aided Verification (CAV)","author":"Frehse G.","year":"2011","unstructured":"G. Frehse , C. L. 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 (CAV) . Springer , 2011 , pp. 379 -- 395 . G. Frehse, C. L. 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 (CAV). Springer, 2011, pp. 379--395."},{"key":"e_1_3_2_1_42_1","first-page":"258","volume-title":"Flow*: An analyzer for nonlinear hybrid systems,\" in International Conference on Computer Aided Verification (CAV)","author":"Chen X.","year":"2013","unstructured":"X. Chen , E. \u00c1brah\u00e1m , and S. Sankaranarayanan , \" Flow*: An analyzer for nonlinear hybrid systems,\" in International Conference on Computer Aided Verification (CAV) . Springer , 2013 , pp. 258 -- 263 . X. Chen, E. \u00c1brah\u00e1m, and S. Sankaranarayanan, \"Flow*: An analyzer for nonlinear hybrid systems,\" in International Conference on Computer Aided Verification (CAV). Springer, 2013, pp. 258--263."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3199852"},{"key":"e_1_3_2_1_44_1","volume-title":"Formal verification of neural network controlled autonomous systems,\" arXiv preprint arXiv:1810.13072","author":"Sun X.","year":"2018","unstructured":"X. Sun , H. Khedr , and Y. Shoukry , \" Formal verification of neural network controlled autonomous systems,\" arXiv preprint arXiv:1810.13072 , 2018 . X. Sun, H. Khedr, and Y. Shoukry, \"Formal verification of neural network controlled autonomous systems,\" arXiv preprint arXiv:1810.13072, 2018."},{"key":"e_1_3_2_1_45_1","first-page":"1097","volume-title":"Imagenet classification with deep convolutional neural networks,\" in Advances in neural information processing systems","author":"Krizhevsky A.","year":"2012","unstructured":"A. Krizhevsky , I. Sutskever , and G. E. Hinton , \" Imagenet classification with deep convolutional neural networks,\" in Advances in neural information processing systems , 2012 , pp. 1097 -- 1105 . A. Krizhevsky, I. Sutskever, and G. E. Hinton, \"Imagenet classification with deep convolutional neural networks,\" in Advances in neural information processing systems, 2012, pp. 1097--1105."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049819"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2849003"},{"key":"e_1_3_2_1_48_1","volume-title":"O. Cheong, M. v. Kreveld, and M. Overmars, Computational geometry: algorithms and applications","author":"M.","year":"2008","unstructured":"M. d. Berg , O. Cheong, M. v. Kreveld, and M. Overmars, Computational geometry: algorithms and applications . Springer-Verlag TELOS , 2008 . M. d. Berg, O. Cheong, M. v. Kreveld, and M. Overmars, Computational geometry: algorithms and applications. Springer-Verlag TELOS, 2008."},{"key":"e_1_3_2_1_49_1","unstructured":"(2018 Jun.) SatEX Solver. {Online}. Available: https:\/\/yshoukry.bitbucket.io\/SatEX\/  (2018 Jun.) SatEX Solver. {Online}. Available: https:\/\/yshoukry.bitbucket.io\/SatEX\/"}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","location":"Montreal Quebec Canada","acronym":"HSCC '19","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311802","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311802","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:36Z","timestamp":1750206336000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311802"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":49,"alternative-id":["10.1145\/3302504.3311802","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3311802","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}