{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T23:34:21Z","timestamp":1783553661978,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["FT240100269"],"award-info":[{"award-number":["FT240100269"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-2403616"],"award-info":[{"award-number":["CCF-2403616"]}],"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":[[2025,6,23]]},"DOI":"10.1145\/3696630.3728500","type":"proceedings-article","created":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:08:09Z","timestamp":1753729689000},"page":"566-570","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2572-2355","authenticated-orcid":false,"given":"Xi","family":"Zheng","sequence":"first","affiliation":[{"name":"Macquarie University, Sydney, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3925-9549","authenticated-orcid":false,"given":"Ziyang","family":"Li","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3546-414X","authenticated-orcid":false,"given":"Ivan","family":"Ruchkin","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3267-0776","authenticated-orcid":false,"given":"Ruzica","family":"Piskac","sequence":"additional","affiliation":[{"name":"Yale, New Haven, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5357-0117","authenticated-orcid":false,"given":"Miroslav","family":"Pajic","sequence":"additional","affiliation":[{"name":"Duke University, Durham, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.2023.3311428"},{"key":"e_1_3_2_1_2_1","unstructured":"Amazon Prime Air 2023. AmazonPrimeAir. Retrieved Aug 3 2023 from https:\/\/shorturl.at\/otyU3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i12.26718"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS55552.2023.10342465"},{"key":"e_1_3_2_1_5_1","volume-title":"International Conference on Bridging the Gap between AI and Reality. Springer, 119\u2013137","author":"Katrine","unstructured":"Katrine Bj\u00f8rner et al. 2023. Formal XAI via syntax-guided synthesis. In International Conference on Bridging the Gap between AI and Reality. Springer, 119\u2013137."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1038\/s43588-024-00593-9"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS48487.2020.00024"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00015"},{"key":"e_1_3_2_1_9_1","volume-title":"Tensorlog: Deep learning meets probabilistic dbs. arXiv preprint arXiv:1707.05390","author":"Cohen William W","year":"2017","unstructured":"William W Cohen et al. 2017. Tensorlog: Deep learning meets probabilistic dbs. arXiv preprint arXiv:1707.05390 (2017)."},{"key":"e_1_3_2_1_10_1","volume-title":"Da Vinci Surgical System. Retrieved","author":"Davinci","year":"2023","unstructured":"Davinci 2023. Da Vinci Surgical System. Retrieved Aug 3, 2023 from http:\/\/www.intuitivesurgical.com\/"},{"key":"e_1_3_2_1_11_1","first-page":"50838","article-title":"Interpretable and explainable logical policies via neurally guided symbolic abstraction","volume":"36","author":"Quentin Delfosse","year":"2023","unstructured":"Quentin Delfosse et al. 2023. Interpretable and explainable logical policies via neurally guided symbolic abstraction. Advances in Neural Information Processing Systems 36 (2023), 50838\u201350858.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/PerCom45495.2020.9127389"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2021.3071405"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","unstructured":"Yao Deng et al. 2022. A declarative metamorphic testing framework for autonomous driving. TSE (2022). 10.1109\/TSE.2022.3206427","DOI":"10.1109\/TSE.2022.3206427"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","unstructured":"Yao Deng et al. 2022. Scenario-based test reduction and prioritization for multi-module autonomous driving systems. In FSE. 82\u201393. 10.1145\/3540250.3549152","DOI":"10.1145\/3540250.3549152"},{"key":"e_1_3_2_1_16_1","volume-title":"TARGET: Traffic Rule-based Test Generation for Autonomous Driving Systems. arXiv preprint arXiv:2305.06018","author":"Yao Deng","year":"2023","unstructured":"Yao Deng et al. 2023. TARGET: Traffic Rule-based Test Generation for Autonomous Driving Systems. arXiv preprint arXiv:2305.06018 (2023)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","unstructured":"Souradeep Dutta et al. 2019. Sherlock-a tool for verification of neural network feedback systems: demo abstract. In HSCC. 262\u2013263. 10.1145\/3302504.331335","DOI":"10.1145\/3302504.331335"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454080"},{"key":"e_1_3_2_1_19_1","unstructured":"Karim Elmaaroufi et al. 2024. ScenicNL: Generating Probabilistic Scenario Programs from Natural Language. arXiv:2405.03709 [cs.SE] https:\/\/arxiv.org\/abs\/2405.03709"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","unstructured":"Matt Fredrikson et al. 2023. Learning Modulo Theories. arXiv:2301.11435 [cs]. 10.48550\/arXiv.2301.11435","DOI":"10.48550\/arXiv.2301.11435"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2311.04843"},{"key":"e_1_3_2_1_22_1","unstructured":"Google Wing 2023. Google Wing. Retrieved Aug 3 2023 from http:\/\/www.wing.com\/"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the IEEE international conference on computer vision. 5842\u20135850","author":"Raghav","unstructured":"Raghav Goyal et al. 2017. The\" something something\" video database for learning and evaluating visual common sense. In Proceedings of the IEEE international conference on computer vision. 5842\u20135850."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3445813"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624748"},{"key":"e_1_3_2_1_26_1","volume-title":"Mugen: A playground for video-audio-text multi-modal understanding and generation. In European Conference on Computer Vision","author":"Thomas Hayes","year":"2022","unstructured":"Thomas Hayes et al. 2022. Mugen: A playground for video-audio-text multi-modal understanding and generation. In European Conference on Computer Vision. Springer, 431\u2013449."},{"key":"e_1_3_2_1_27_1","volume-title":"LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision. arXiv:2304.07647 [cs.CV] https:\/\/arxiv.org\/abs\/2304.07647","author":"Huang Jiani","year":"2024","unstructured":"Jiani Huang, Ziyang Li, et al. 2024. LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision. arXiv:2304.07647 [cs.CV] https:\/\/arxiv.org\/abs\/2304.07647"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Radoslav Ivanov et al. 2021. Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning. In Computer Aided Verification. Springer International Publishing Cham 249\u2013262.","DOI":"10.1007\/978-3-030-81685-8_11"},{"key":"e_1_3_2_1_29_1","volume-title":"Kentaro Yamada, and Hitomi Yanaka.","author":"Jain Aman","year":"2024","unstructured":"Aman Jain, Anirudh Reddy Kondapally, Kentaro Yamada, and Hitomi Yanaka. 2024. Neuro-Symbolic Reasoning for Multimodal Referring Expression Comprehension in HMI Systems. New Generation Computing (2024), 1\u201320."},{"key":"e_1_3_2_1_30_1","volume-title":"Reluplex: An efficient SMT solver for verifying deep neural networks","author":"Guy Katz","year":"2017","unstructured":"Guy Katz et al. 2017. Reluplex: An efficient SMT solver for verifying deep neural networks. In CAV. Springer, 97\u2013117."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE5003.2020.00012"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7804200"},{"key":"e_1_3_2_1_33_1","unstructured":"Linfeng Liang Yao Deng et al. 2023. RLaGA: A Reinforcement Learning Augmented Genetic Algorithm For Searching Real and Diverse Marker-Based Landing Violations. arXiv preprint arXiv:2310.07378 (2023)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549111"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s40860-024-00231-1"},{"key":"e_1_3_2_1_36_1","unstructured":"Mako 2023. Mako Robotic-Arm. Retrieved Aug 3 2023 from https:\/\/t.ly\/VLEwP"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103504"},{"key":"e_1_3_2_1_38_1","unstructured":"Mazor 2023. Mazor Robotics. Retrieved Aug 3 2023 from http:\/\/www.medtronic.com\/"},{"key":"e_1_3_2_1_39_1","unstructured":"Emilio Parisotto et al. 2016. Neuro-symbolic program synthesis. arXiv preprint arXiv:1611.01855 (2016)."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Aditya Prakash et al. 2021. Multi-modal fusion transformer for end-to-end autonomous driving. In CVPR. 7077\u20137087.","DOI":"10.1109\/CVPR46437.2021.00700"},{"key":"e_1_3_2_1_41_1","unstructured":"Mukund Raghothaman et al. [n. d.]. DIFFLOG: Beyond Deductive Methods in Program Analysis. ([n. d.])."},{"key":"e_1_3_2_1_42_1","volume-title":"Compositional verification without compositional specification for learning-based systems. UC Berkeley","author":"Seshia Sanjit A","year":"2017","unstructured":"Sanjit A Seshia. 2017. Compositional verification without compositional specification for learning-based systems. UC Berkeley (2017), 1\u20138."},{"key":"e_1_3_2_1_43_1","unstructured":"Shai Shalev-Shwartz et al. 2017. On a formal model of safe and scalable self-driving cars. arXiv preprint arXiv:1708.06374 (2017)."},{"key":"e_1_3_2_1_44_1","volume-title":"Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning. arXiv preprint arXiv:2310.19137","author":"Suraj Singireddy","year":"2023","unstructured":"Suraj Singireddy et al. 2023. Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning. arXiv preprint arXiv:2310.19137 (2023)."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8461160"},{"key":"e_1_3_2_1_46_1","unstructured":"Tesla Autopilot 2023. Tesla. Retrieved Aug 3 2023 from http:\/\/www.tesla.com\/autopilot\/"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","unstructured":"Haoxiang Tian et al. 2022. MOSAT: finding safety violations of autonomous driving systems using multi-objective genetic algorithm. In FSE. 94\u2013106. 10.1145\/3540250.3549100","DOI":"10.1145\/3540250.3549100"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Hoang-Dung Tran et al. 2020. Verification of deep convolutional neural networks using imagestars. In CAV. Springer 18\u201342.","DOI":"10.1007\/978-3-030-53288-8_2"},{"key":"e_1_3_2_1_50_1","volume-title":"ATG 2023","author":"Uber","year":"2023","unstructured":"Uber ATG 2023. Uber. Retrieved Aug 3, 2023 from https:\/\/shorturl.at\/mSV59"},{"key":"e_1_3_2_1_51_1","unstructured":"Waymo 2023. Waymo. Retrieved Aug 3 2023 from http:\/\/www.waymo.com\/"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52729.2023.01791"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","unstructured":"Eleni Zapridou et al. 2020. Runtime verification of autonomous driving systems in CARLA. In RV. Springer 172\u2013183.","DOI":"10.1007\/978-3-030-60508-7_9"},{"key":"e_1_3_2_1_54_1","unstructured":"Yuanhan Zhang et al. 2024. Video Instruction Tuning With Synthetic Data. arXiv:2410.02713 [cs.CV] https:\/\/arxiv.org\/abs\/2410.02713"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3663529.3663779"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2016.2614599"},{"key":"e_1_3_2_1_57_1","unstructured":"Zipline 2023. Zipline. Retrieved Aug 3 2023 from http:\/\/www.flyzipline.com\/"}],"event":{"name":"FSE Companion '25: 33rd ACM International Conference on the Foundations of Software Engineering","location":"Clarion Hotel Trondheim Trondheim Norway","acronym":"FSE Companion '25","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3696630.3728500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,28]],"date-time":"2025-07-28T19:10:28Z","timestamp":1753729828000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3696630.3728500"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,23]]},"references-count":57,"alternative-id":["10.1145\/3696630.3728500","10.1145\/3696630"],"URL":"https:\/\/doi.org\/10.1145\/3696630.3728500","relation":{},"subject":[],"published":{"date-parts":[[2025,6,23]]},"assertion":[{"value":"2025-07-28","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}