{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T16:39:21Z","timestamp":1779295161636,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":50,"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"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Army Research Office","doi-asserted-by":"publisher","award":["MURI W911NF-20-1-0080"],"award-info":[{"award-number":["MURI W911NF-20-1-0080"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2143274, 2403758, 2231257"],"award-info":[{"award-number":["2143274, 2403758, 2231257"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"U.S. Air Force and Defense Advanced Research Projects Agency","award":["FA8750-23-C-0519"],"award-info":[{"award-number":["FA8750-23-C-0519"]}]},{"name":"U.S. Army Research Laboratory","award":["W911NF-17-2-0196"],"award-info":[{"award-number":["W911NF-17-2-0196"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716550.3722022","type":"proceedings-article","created":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T06:20:57Z","timestamp":1746598857000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8621-4864","authenticated-orcid":false,"given":"Vivian","family":"Lin","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-7662-3174","authenticated-orcid":false,"given":"Ramneet","family":"Kaur","sequence":"additional","affiliation":[{"name":"SRI, Menlo Park, California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3233-1720","authenticated-orcid":false,"given":"Yahan","family":"Yang","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2706-2095","authenticated-orcid":false,"given":"Souradeep","family":"Dutta","sequence":"additional","affiliation":[{"name":"University of British Columbia, Vancouver, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0257-7378","authenticated-orcid":false,"given":"Yiannis","family":"Kantaros","sequence":"additional","affiliation":[{"name":"Washington University in St. Louis, St. Louis, Missouri, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6889-0204","authenticated-orcid":false,"given":"Anirban","family":"Roy","sequence":"additional","affiliation":[{"name":"SRI, Menlo Park, California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5983-9095","authenticated-orcid":false,"given":"Susmit","family":"Jha","sequence":"additional","affiliation":[{"name":"SRI, Menlo Park, California, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5282-0658","authenticated-orcid":false,"given":"Oleg","family":"Sokolsky","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2672-1132","authenticated-orcid":false,"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i04.5712"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS48487.2020.00024"},{"key":"e_1_3_2_1_3_1","volume-title":"Learning for Dynamics and Control Conference. PMLR, 300--314","author":"Dixit Anushri","year":"2023","unstructured":"Anushri Dixit, Lars Lindemann, Skylar X Wei, Matthew Cleaveland, George J Pappas, and Joel W Burdick. 2023. Adaptive conformal prediction for motion planning among dynamic agents. In Learning for Dynamics and Control Conference. PMLR, 300--314."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-018-09509-5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477026"},{"key":"e_1_3_2_1_7_1","first-page":"1660","article-title":"Adaptive conformal inference under distribution shift","volume":"34","author":"Gibbs Isaac","year":"2021","unstructured":"Isaac Gibbs and Emmanuel Candes. 2021. Adaptive conformal inference under distribution shift. Advances in Neural Information Processing Systems 34 (2021), 1660--1672.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.01394"},{"key":"e_1_3_2_1_9_1","volume-title":"Benchmarking neural network robustness to common corruptions and perturbations. arXiv preprint arXiv:1903.12261","author":"Hendrycks Dan","year":"2019","unstructured":"Dan Hendrycks and Thomas Dietterich. 2019. Benchmarking neural network robustness to common corruptions and perturbations. arXiv preprint arXiv:1903.12261 (2019)."},{"key":"e_1_3_2_1_10_1","volume-title":"A baseline for detecting misclassified and out-of-distribution examples in neural networks. arXiv preprint arXiv:1610.02136","author":"Hendrycks Dan","year":"2016","unstructured":"Dan Hendrycks and Kevin Gimpel. 2016. A baseline for detecting misclassified and out-of-distribution examples in neural networks. arXiv preprint arXiv:1610.02136 (2016)."},{"key":"e_1_3_2_1_11_1","unstructured":"Dan Hendrycks Mantas Mazeika Saurav Kadavath and Dawn Song. 2019. Using self-supervised learning can improve model robustness and uncertainty. In Advances in Neural Information Processing Systems. 15663--15674."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382216"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450535"},{"key":"e_1_3_2_1_14_1","volume-title":"iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection","author":"Kaur Ramneet","unstructured":"Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, and Insup Lee. 2022. iDECODe: In-distribution Equivariance for Conformal Out-of-distribution Detection, Association for the Advancement of Artificial Intelligence. arXiv:2201.02331 [cs.LG]"},{"key":"e_1_3_2_1_15_1","volume-title":"Detecting OODs as Datapoints with High Uncertainty. arXiv preprint arXiv:2108.06380","author":"Kaur Ramneet","year":"2021","unstructured":"Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, and Insup Lee. 2021. Detecting OODs as Datapoints with High Uncertainty. arXiv preprint arXiv:2108.06380 (2021)."},{"key":"e_1_3_2_1_16_1","volume-title":"Using Semantic Information for Defining and Detecting OOD Inputs. arXiv preprint arXiv:2302.11019","author":"Kaur Ramneet","year":"2023","unstructured":"Ramneet Kaur, Xiayan Ji, Souradeep Dutta, Michele Caprio, Yahan Yang, Elena Bernardis, Oleg Sokolsky, and Insup Lee. 2023. Using Semantic Information for Defining and Detecting OOD Inputs. arXiv preprint arXiv:2302.11019 (2023)."},{"key":"e_1_3_2_1_17_1","volume-title":"Detection of Adversarial Physical Attacks in Time-Series Image Data. arXiv preprint arXiv:2304.13919","author":"Kaur Ramneet","year":"2023","unstructured":"Ramneet Kaur, Yiannis Kantaros, Wenwen Si, James Weimer, and Insup Lee. 2023. Detection of Adversarial Physical Attacks in Time-Series Image Data. arXiv preprint arXiv:2304.13919 (2023)."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week","author":"Kaur Ramneet","year":"2023","unstructured":"Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, and Insup Lee. 2023. CODiT: Conformal Out-of-Distribution Detection in Time-Series Data. In Proceedings of the ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023). 120--131."},{"key":"e_1_3_2_1_19_1","volume-title":"Out-of-Distribution Detection in Dependent Data for Cyber-Physical Systems with Conformal Guarantees. ACM Transactions on Cyber-Physical Systems","author":"Kaur Ramneet","year":"2024","unstructured":"Ramneet Kaur, Yahan Yang, Oleg Sokolsky, and Insup Lee. 2024. Out-of-Distribution Detection in Dependent Data for Cyber-Physical Systems with Conformal Guarantees. ACM Transactions on Cyber-Physical Systems (2024)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.10827"},{"key":"e_1_3_2_1_21_1","unstructured":"Edouard Leurent. 2018. An Environment for Autonomous Driving Decision-Making. https:\/\/github.com\/eleurent\/highway-env."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576841.3585927"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CISCT55310.2022.10046651"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN52387.2021.9533899"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_2_1_26_1","volume-title":"Psychology of learning and motivation.","author":"McCloskey Michael","unstructured":"Michael McCloskey and Neal J Cohen. 1989. Catastrophic interference in connectionist networks: The sequential learning problem. In Psychology of learning and motivation. Vol. 24. Elsevier, 109--165."},{"key":"e_1_3_2_1_27_1","volume-title":"Benchmark for out-of-distribution detection in deep reinforcement learning. arXiv preprint arXiv:2112.02694","author":"Mohammed Aaqib Parvez","year":"2021","unstructured":"Aaqib Parvez Mohammed and Matias Valdenegro-Toro. 2021. Benchmark for out-of-distribution detection in deep reinforcement learning. arXiv preprint arXiv:2112.02694 (2021)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36755-1_29"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2006.883873"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3491243"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.587"},{"key":"e_1_3_2_1_32_1","volume-title":"International conference on machine learning. PMLR, 5389--5400","author":"Recht Benjamin","year":"2019","unstructured":"Benjamin Recht, Rebecca Roelofs, Ludwig Schmidt, and Vaishaal Shankar. 2019. Do imagenet classifiers generalize to imagenet?. In International conference on machine learning. PMLR, 5389--5400."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/ett.4011"},{"key":"e_1_3_2_1_34_1","unstructured":"Craig Saunders Alex Gammerman and Volodya Vovk. 1999. Transduction with confidence and credibility. (1999)."},{"key":"e_1_3_2_1_35_1","volume-title":"Tesla is putting 'self-driving' in the hands of drivers amid criticism the tech is not ready. The Washington Post","author":"Siddiqui Faiz","year":"2020","unstructured":"Faiz Siddiqui. 2020. Tesla is putting 'self-driving' in the hands of drivers amid criticism the tech is not ready. The Washington Post (2020). https:\/\/www.washingtonpost.com\/technology\/2020\/10\/21\/tesla-self-driving\/"},{"key":"e_1_3_2_1_36_1","volume-title":"Towards Alternative Techniques for Improving Adversarial Robustness: Anaflysis of Adversarial Training at a Spectrum of Perturbations. arXiv preprint arXiv:2206.06496","author":"Sridhar Kaustubh","year":"2022","unstructured":"Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, and Insup Lee. 2022. Towards Alternative Techniques for Improving Adversarial Robustness: Anaflysis of Adversarial Training at a Spectrum of Perturbations. arXiv preprint arXiv:2206.06496 (2022)."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPW50608.2020.00057"},{"key":"e_1_3_2_1_38_1","volume-title":"Csi: Novelty detection via contrastive learning on distributionally shifted instances. Advances in Neural Information Processing Systems 33","author":"Tack Jihoon","year":"2020","unstructured":"Jihoon Tack, Sangwoo Mo, Jongheon Jeong, and Jinwoo Shin. 2020. Csi: Novelty detection via contrastive learning on distributionally shifted instances. Advances in Neural Information Processing Systems 33 (2020)."},{"key":"e_1_3_2_1_39_1","volume-title":"Waymo's robot taxis are almost mainstream. Can they now turn a profit? The New York Times","author":"Tan Eli","year":"2024","unstructured":"Eli Tan. 2024. Waymo's robot taxis are almost mainstream. Can they now turn a profit? The New York Times (2024). https:\/\/www.nytimes.com\/2024\/09\/04\/technology\/waymo-expansion-alphabet.html"},{"key":"e_1_3_2_1_40_1","volume-title":"Galactica: A large language model for science. arXiv preprint arXiv:2211.09085","author":"Taylor Ross","year":"2022","unstructured":"Ross Taylor, Marcin Kardas, Guillem Cucurull, Thomas Scialom, Anthony Hartshorn, Elvis Saravia, Andrew Poulton, Viktor Kerkez, and Robert Stojnic. 2022. Galactica: A large language model for science. arXiv preprint arXiv:2211.09085 (2022)."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2566468.2566483"},{"key":"e_1_3_2_1_42_1","volume-title":"Taming False Positives in Out-of-Distribution Detection with Human Feedback. arXiv preprint arXiv:2404.16954","author":"Vishwakarma Harit","year":"2024","unstructured":"Harit Vishwakarma, Heguang Lin, and Ramya Korlakai Vinayak. 2024. Taming False Positives in Out-of-Distribution Detection with Human Feedback. arXiv preprint arXiv:2404.16954 (2024)."},{"key":"e_1_3_2_1_43_1","unstructured":"Volodya Vovk Alexander Gammerman and Craig Saunders. 1999. Machine-learning applications of algorithmic randomness. (1999)."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647868.2654926"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576841.3589627"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00027"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3643892"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV48922.2021.00967"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS61052.2024.00022"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.01401"}],"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.3722022","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716550.3722022","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T14:01:49Z","timestamp":1756994509000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716550.3722022"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":50,"alternative-id":["10.1145\/3716550.3722022","10.1145\/3716550"],"URL":"https:\/\/doi.org\/10.1145\/3716550.3722022","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"}}]}}