{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T11:03:46Z","timestamp":1761563026406,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,9,17]],"date-time":"2023-09-17T00:00:00Z","timestamp":1694908800000},"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":["1910017","2028001","2220418","2220426","222040"],"award-info":[{"award-number":["1910017","2028001","2220418","2220426","222040"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NSF Nebraska EPSCoR","award":["OIA-2044049"],"award-info":[{"award-number":["OIA-2044049"]}]},{"name":"DARPA","award":["FA8750- 18-C-0089","FA8750-23-C-051"],"award-info":[{"award-number":["FA8750- 18-C-0089","FA8750-23-C-051"]}]},{"name":"Air Force Office of Scientific Research","award":["FA9550-22-1-0019","FA9550-23-1-013"],"award-info":[{"award-number":["FA9550-22-1-0019","FA9550-23-1-013"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,9,17]]},"DOI":"10.1145\/3607890.3608454","type":"proceedings-article","created":{"date-parts":[[2024,1,20]],"date-time":"2024-01-20T01:54:46Z","timestamp":1705715686000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6946-9526","authenticated-orcid":false,"given":"Hoang-Dung","family":"Tran","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln, Lincoln, Lincoln, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0721-1241","authenticated-orcid":false,"given":"Diego","family":"Manzanas Lopez","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, Nashville, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8021-9923","authenticated-orcid":false,"given":"Taylor","family":"Johnson","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, Nashville, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,1,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Stanley Bak, Taylor T. Johnson, and Changliu Liu.","author":"Brix Christopher","year":"2023","unstructured":"Christopher Brix, Mark Niklas M\u00fcller, Stanley Bak, Taylor T. Johnson, and Changliu Liu. 2023. First Three Years of the International Verification of Neural Networks Competition (VNN-COMP). arXiv:2301.05815 [cs.LG]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3501710.3519540"},{"key":"e_1_3_2_1_3_1","volume-title":"International Conference on Formal Methods in Software Engineering. ACM.","author":"Ivashchenko Michael","year":"2023","unstructured":"Michael Ivashchenko, Sungwoo Choi, Viet-Luan Nguyen, and Hoang-Dung Tran. 2023. Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. In International Conference on Formal Methods in Software Engineering. ACM."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)","volume":"184","author":"Lopez Diego Manzanas","year":"2022","unstructured":"Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, and Qi Zhu. 2022. ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (EPiC Series in Computing, Vol. 90), Goran Frehse, Matthias Althoff, Erwin Schoitsch, and Jeremie Guiochet (Eds.). EasyChair, 142--184."},{"volume-title":"35th International Conference on Computer-Aided Verification (CAV).","author":"Lopez Diego Manzanas","key":"e_1_3_2_1_5_1","unstructured":"Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, and Taylor T. Johnson. 2023. NNV 2.0: The Neural Network Verification Tool. In 35th International Conference on Computer-Aided Verification (CAV)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.24433\/CO.0803700.v1"},{"key":"e_1_3_2_1_7_1","volume-title":"Evaluation of Neural Network Verification Methods for Air to Air Collision Avoidance. AIAA Journal of Air Transportation (JAT) (Oct","author":"Lopez Diego Manzanas","year":"2022","unstructured":"Diego Manzanas Lopez, Taylor T. Johnson, Stanley Bak, Hoang-Dung Tran, and Kerianne Hobbs. 2022. Evaluation of Neural Network Verification Methods for Air to Air Collision Avoidance. AIAA Journal of Air Transportation (JAT) (Oct. 2022)."},{"volume-title":"Workshop on Assured Autonomous Systems (WAAS). IEEE.","author":"Lopez Diego Manzanas","key":"e_1_3_2_1_8_1","unstructured":"Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, and Taylor T. Johnson. 2020. Case Study: Safety Verification of an Unmanned Underwater Vehicle. In Workshop on Assured Autonomous Systems (WAAS). IEEE."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), Co-Located with CONCUR, FMICS, and QEST as part of CONFEST 2022","author":"Lopez Diego Manzanas","year":"2022","unstructured":"Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, and Taylor Johnson. 2022. Reachability Analysis of a General Class of Neural Ordinary Differential Equation. In Proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), Co-Located with CONCUR, FMICS, and QEST as part of CONFEST 2022. Warsaw, Poland."},{"key":"e_1_3_2_1_10_1","volume-title":"Johnson","author":"M\u00fcller Mark Niklas","year":"2022","unstructured":"Mark Niklas M\u00fcller, Christopher Brix, Stanley Bak, Changliu Liu, and Taylor T. Johnson. 2022. The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results."},{"key":"e_1_3_2_1_11_1","unstructured":"ONNX. [n. d.]. Open Neural Network Exchange (ONNX). https:\/\/onnx.ai\/"},{"key":"e_1_3_2_1_12_1","volume-title":"Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. In ACM SIGBED International Conference on Embedded Software (EMSOFT'19)","author":"Tran Hoang-Dung","year":"2019","unstructured":"Hoang-Dung Tran, Feiyang Cei, Diego Manzanas Lopez, Taylor T. Johnson, and Xenofon Koutsoukos. 2019. Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. In ACM SIGBED International Conference on Embedded Software (EMSOFT'19). ACM."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587128"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2019.00012"},{"key":"e_1_3_2_1_15_1","volume-title":"Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, and Taylor T. Johnson.","author":"Tran Hoang-Dung","year":"2019","unstructured":"Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, and Taylor T. Johnson. 2019. Star-Based Reachability Analsysis for Deep Neural Networks. In 23rd International Symposisum on Formal Methods (FM'19). Springer International Publishing."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-021-00553-4"},{"key":"e_1_3_2_1_17_1","volume-title":"International Conference on Computer Aided Verification. Springer, 263--286","author":"Tran Hoang-Dung","year":"2021","unstructured":"Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, and Taylor T Johnson. 2021. Robustness verification of semantic segmentation neural networks using relaxed reachability. In International Conference on Computer Aided Verification. Springer, 263--286."},{"volume-title":"NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. In 32nd International Conference on Computer-Aided Verification (CAV).","author":"Tran Hoang-Dung","key":"e_1_3_2_1_18_1","unstructured":"Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, and Taylor T. Johnson. 2020. NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. In 32nd International Conference on Computer-Aided Verification (CAV)."}],"event":{"name":"EMSOFT '23: International Conference on Embedded Software","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","CEDA","IEEE CAS"],"location":"Hamburg Germany","acronym":"EMSOFT '23"},"container-title":["Proceedings of the International Conference on Embedded Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3607890.3608454","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3607890.3608454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:06Z","timestamp":1750178226000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3607890.3608454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,17]]},"references-count":18,"alternative-id":["10.1145\/3607890.3608454","10.1145\/3607890"],"URL":"https:\/\/doi.org\/10.1145\/3607890.3608454","relation":{},"subject":[],"published":{"date-parts":[[2023,9,17]]},"assertion":[{"value":"2024-01-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}