{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,4]],"date-time":"2026-07-04T16:38:47Z","timestamp":1783183127481,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T00:00:00Z","timestamp":1746489600000},"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":[[2025,5,6]]},"DOI":"10.1145\/3716550.3725168","type":"proceedings-article","created":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T06:20:57Z","timestamp":1746598857000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Conformance-Driven Anomaly Detection for Cyber-Physical Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7457-0565","authenticated-orcid":false,"given":"Xin","family":"Qin","sequence":"first","affiliation":[{"name":"California State University, Long Beach, Long Beach, California, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,5,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. In 2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE). IEEE, 108--113","author":"Balakrishnan Anand","year":"2024","unstructured":"Anand Balakrishnan, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi Markov, Christof Budnik, Helmut Degen, Lars Lindemann, et al. 2024. Safety Assurance for Autonomous Systems with Multiple Sensor Modalities. In 2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE). IEEE, 108--113."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_25"},{"key":"e_1_3_2_1_3_1","volume-title":"A review of safe reinforcement learning: Methods, theories and applications","author":"Gu Shangding","year":"2024","unstructured":"Shangding Gu, Long Yang, Yali Du, Guang Chen, Florian Walter, Jun Wang, and Alois Knoll. 2024. A review of safe reinforcement learning: Methods, theories and applications. IEEE Transactions on Pattern Analysis and Machine Intelligence (2024)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576841.3585927"},{"key":"e_1_3_2_1_5_1","volume-title":"International Conference on Machine Learning. PMLR, 13644--13668","author":"Liu Zuxin","year":"2022","unstructured":"Zuxin Liu, Zhepeng Cen, Vladislav Isenbaev, Wei Liu, Steven Wu, Bo Li, and Ding Zhao. 2022. Constrained variational policy optimization for safe reinforcement learning. In International Conference on Machine Learning. PMLR, 13644--13668."},{"key":"e_1_3_2_1_6_1","unstructured":"Xin Qin Navid Hashemi Lars Lindemann and Jyotirmoy V Deshmukh. 2023. Conformance Testing for Stochastic Cyber-Physical Systems.. In FMCAD. 294--305."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2021.3064507"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3199852"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311814"}],"event":{"name":"ICCPS '25: ACM\/IEEE 16th International Conference on Cyber-Physical Systems","location":"Irvine CA USA","acronym":"ICCPS '25","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the ACM\/IEEE 16th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2025)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716550.3725168","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716550.3725168","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T14:00:55Z","timestamp":1756994455000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716550.3725168"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":9,"alternative-id":["10.1145\/3716550.3725168","10.1145\/3716550"],"URL":"https:\/\/doi.org\/10.1145\/3716550.3725168","relation":{},"subject":[],"published":{"date-parts":[[2025,5,6]]},"assertion":[{"value":"2025-05-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}