{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T19:18:21Z","timestamp":1767035901897,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,28]]},"DOI":"10.1145\/3742875.3754679","type":"proceedings-article","created":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T18:13:02Z","timestamp":1767031982000},"page":"3-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Compositional training for Safe AI-based Cyber-Physical Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7180-7333","authenticated-orcid":false,"given":"Sobhan","family":"Chatterjee","sequence":"first","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1455-4106","authenticated-orcid":false,"given":"Saumya","family":"Shankar","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9654-5678","authenticated-orcid":false,"given":"Partha","family":"Roop","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2025,12,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3359986.3361204"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Ahmed Alzubaidi. 2022. Rain-aware lane change decision model for autonomous vehicles using deep reinforcement learning. Ph. D. Dissertation. MS thesis Dept. Elect. Eng. Comput. Sci. Khalifa Univ. Abu Dhabi United Arab Emirates.","DOI":"10.1109\/ACCESS.2023.3253503"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMOCODE63347.2024.00010"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939785"},{"key":"e_1_3_2_1_5_1","volume-title":"Seshia","author":"Dreossi Tommaso","year":"2018","unstructured":"Tommaso Dreossi, Alexandre Donz\u00e9, and Sanjit A. Seshia. 2018. Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. _eprint: 1703.00978."},{"key":"e_1_3_2_1_6_1","volume-title":"VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. ArXiv abs\/1902.04245","author":"Dreossi T.","year":"2019","unstructured":"T. Dreossi, Daniel J. Fremont, S. Ghosh, E. Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, and S. Seshia. 2019. VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems. ArXiv abs\/1902.04245 (2019)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781118723203.ch3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1997.1504"},{"volume-title":"Deep Learning","author":"Goodfellow Ian","key":"e_1_3_2_1_9_1","unstructured":"Ian Goodfellow, Yoshua Bengio, and Aaron Courville. 2016. Deep Learning. The MIT Press."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDAR.1995.598994"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477023"},{"key":"e_1_3_2_1_13_1","volume-title":"Kochenderfer","author":"Katz Guy","year":"2017","unstructured":"Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, and Mykel J. Kochenderfer. 2017. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. In Computer Aided Verification, Rupak Majumdar and Viktor Kun\u010dak (Eds.). Springer International Publishing, Cham, 97\u2013117."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569552"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/280491"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2024.3443449"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Corina S. Pasareanu Divya Gopinath and Huafeng Yu. 2018. Compositional Verification for Autonomous Systems with Deep Learning Components. http:\/\/arxiv.org\/abs\/1810.08303 arXiv:1810.08303 [cs].","DOI":"10.1007\/978-3-319-97301-2_10"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2945520"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126500"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of the 10th International Joint Conference on Artificial Intelligence -","volume":"1","author":"Quinlan J. R.","year":"1987","unstructured":"J. R. Quinlan. 1987. Generating production rules from decision trees. In Proceedings of the 10th International Joint Conference on Artificial Intelligence - Volume 1 (Milan, Italy) (IJCAI'87). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 304\u2013307."},{"key":"e_1_3_2_1_21_1","unstructured":"Martin Treiber and Dirk Helbing. 1999. Explanation of Observed Features of Self-Organization in Traffic Flow. arXiv:cond-mat\/9901239 [cond-mat.stat-mech] https:\/\/arxiv.org\/abs\/cond-mat\/9901239"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.62.1805"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2510366"},{"volume-title":"Automation Test in Europe Conference Exhibition (DATE). 1109\u20131114","author":"Yang X.","key":"e_1_3_2_1_24_1","unstructured":"X. Yang, P. Roop, H. Pearce, and J. W. Ro. 2020. A compositional approach using Keras for neural networks in real-time systems. In 2020 Design, Automation Test in Europe Conference Exhibition (DATE). 1109\u20131114."}],"event":{"name":"MEMOCODE '25: International Symposium on Formal Methods and Models for System Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","SIGBED ACM Special Interest Group on Embedded Systems","IEEE CAS","IEEE CEDA"],"location":"Taipei International Convention Center (TICC) Taipei Taiwan","acronym":"MEMOCODE '25"},"container-title":["Proceedings of the International Symposium on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3742875.3754679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T19:15:58Z","timestamp":1767035758000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3742875.3754679"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,28]]},"references-count":24,"alternative-id":["10.1145\/3742875.3754679","10.1145\/3742875"],"URL":"https:\/\/doi.org\/10.1145\/3742875.3754679","relation":{},"subject":[],"published":{"date-parts":[[2025,9,28]]},"assertion":[{"value":"2025-12-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}