{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T17:43:52Z","timestamp":1757612632284,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":35,"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":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-2143274,CCF-2403616"],"award-info":[{"award-number":["CNS-2143274,CCF-2403616"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,5,6]]},"DOI":"10.1145\/3716550.3722012","type":"proceedings-article","created":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T06:20:57Z","timestamp":1746598857000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2795-6339","authenticated-orcid":false,"given":"Pengyuan","family":"Lu","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}],"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"}],"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"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3546-414X","authenticated-orcid":false,"given":"Ivan","family":"Ruchkin","sequence":"additional","affiliation":[{"name":"University of Florida"}],"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.1007\/s12532-018-0139-4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2017.2743240"},{"volume-title":"Safe reinforcement learning with nonlinear dynamics via model predictive shielding. In 2021 American control conference (ACC)","author":"Bastani Osbert","key":"e_1_3_2_1_3_1","unstructured":"Osbert Bastani. 2021. Safe reinforcement learning with nonlinear dynamics via model predictive shielding. In 2021 American control conference (ACC). IEEE, 3488--3494."},{"key":"e_1_3_2_1_4_1","volume-title":"Openai gym. arXiv preprint arXiv:1606.01540","author":"Brockman Greg","year":"2016","unstructured":"Greg Brockman, Vicki Cheung, Ludwig Pettersson, Jonas Schneider, John Schulman, Jie Tang, and Wojciech Zaremba. 2016. Openai gym. arXiv preprint arXiv:1606.01540 (2016)."},{"key":"e_1_3_2_1_5_1","volume-title":"A continual learning survey: Defying forgetting in classification tasks","author":"Lange Matthias De","year":"2021","unstructured":"Matthias De Lange, Rahaf Aljundi, Marc Masana, Sarah Parisot, Xu Jia, Ale\u0161 Leonardis, Gregory Slabaugh, and Tinne Tuytelaars. 2021. A continual learning survey: Defying forgetting in classification tasks. IEEE transactions on pattern analysis and machine intelligence 44, 7 (2021), 3366--3385."},{"key":"e_1_3_2_1_6_1","volume-title":"Encyclopedia of Distances","author":"Deza Michel Marie","unstructured":"Michel Marie Deza and Elena Deza. 2013. Encyclopedia of Distances (2nd ed.). Springer Berlin, Heidelberg.","edition":"2"},{"key":"e_1_3_2_1_7_1","volume-title":"Emilio Soria-Olivas, Flavio Mari, Joan Vila-Franc\u00e9s, Andrea Stopper, Emanuele Gatti, et al.","author":"Escandell-Montero Pablo","year":"2014","unstructured":"Pablo Escandell-Montero, Milena Chermisi, Jose M Martinez-Martinez, Juan Gomez-Sanchis, Carlo Barbieri, Emilio Soria-Olivas, Flavio Mari, Joan Vila-Franc\u00e9s, Andrea Stopper, Emanuele Gatti, et al. 2014. Optimization of anemia treatment in hemodialysis patients via reinforcement learning. Artificial intelligence in medicine 62, 1 (2014), 47--60."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_9_1","volume-title":"Sound and complete neural network repair with minimality and locality guarantees. arXiv preprint arXiv:2110.07682","author":"Fu Feisi","year":"2021","unstructured":"Feisi Fu and Wenchao Li. 2021. Sound and complete neural network repair with minimality and locality guarantees. arXiv preprint arXiv:2110.07682 (2021)."},{"key":"e_1_3_2_1_10_1","volume-title":"International conference on machine learning. PMLR","author":"Haarnoja Tuomas","year":"2018","unstructured":"Tuomas Haarnoja, Aurick Zhou, Pieter Abbeel, and Sergey Levine. 2018. Soft actor-critic: Off-policy maximum entropy deep reinforcement learning with a stochastic actor. In International conference on machine learning. PMLR, 1861--1870."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17108-6_12"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3054912"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_11"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the IEEE conference on computer vision and pattern recognition. 7482--7491","author":"Kendall Alex","year":"2018","unstructured":"Alex Kendall, Yarin Gal, and Roberto Cipolla. 2018. Multi-task learning using uncertainty to weigh losses for scene geometry and semantics. In Proceedings of the IEEE conference on computer vision and pattern recognition. 7482--7491."},{"key":"e_1_3_2_1_15_1","volume-title":"Achieving a Better Stability-Plasticity Trade-off via Auxiliary Networks in Continual Learning. arXiv preprint arXiv:2303.09483","author":"Kim Sanghwan","year":"2023","unstructured":"Sanghwan Kim, Lorenzo Noci, Antonio Orvieto, and Thomas Hofmann. 2023. Achieving a Better Stability-Plasticity Trade-off via Auxiliary Networks in Continual Learning. arXiv preprint arXiv:2303.09483 (2023)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1611835114"},{"key":"e_1_3_2_1_17_1","volume-title":"C Daniel Gelatt Jr, and Mario P Vecchi","author":"Kirkpatrick Scott","year":"1983","unstructured":"Scott Kirkpatrick, C Daniel Gelatt Jr, and Mario P Vecchi. 1983. Optimization by simulated annealing. science 220, 4598 (1983), 671--680."},{"key":"e_1_3_2_1_18_1","volume-title":"Pareto multi-task learning. Advances in neural information processing systems 32","author":"Lin Xi","year":"2019","unstructured":"Xi Lin, Hui-Ling Zhen, Zhenhua Li, Qing-Fu Zhang, and Sam Kwong. 2019. Pareto multi-task learning. Advances in neural information processing systems 32 (2019)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-016-6903-6"},{"key":"e_1_3_2_1_20_1","volume-title":"IBCL: Zero-shot Model Generation for Task Trade-offs in Continual Learning. arXiv preprint arXiv:2305.14782","author":"Lu Pengyuan","year":"2023","unstructured":"Pengyuan Lu, Michele Caprio, Eric Eaton, and Insup Lee. 2023. IBCL: Zero-shot Model Generation for Task Trade-offs in Continual Learning. arXiv preprint arXiv:2305.14782 (2023)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS61052.2024.00007"},{"key":"e_1_3_2_1_22_1","volume-title":"Georgios Fainekos, and Sriram Sankaranarayanan.","author":"Majd Keyvan","year":"2021","unstructured":"Keyvan Majd, Siyu Zhou, Heni Ben Amor, Georgios Fainekos, and Sriram Sankaranarayanan. 2021. Local repair of neural networks using optimization. arXiv preprint arXiv:2109.14041 (2021)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_2_1_24_1","volume-title":"International conference on machine learning. PMLR","author":"Mnih Volodymyr","year":"2016","unstructured":"Volodymyr Mnih, Adria Puigdomenech Badia, Mehdi Mirza, Alex Graves, Timothy Lillicrap, Tim Harley, David Silver, and Koray Kavukcuoglu. 2016. Asynchronous methods for deep reinforcement learning. In International conference on machine learning. PMLR, 1928--1937."},{"key":"e_1_3_2_1_25_1","volume-title":"Wade Hilts, Joseph Leitschuh","author":"Mosquera-Lopez Clara","year":"2023","unstructured":"Clara Mosquera-Lopez, Leah M Wilson, Joseph El Youssef, Wade Hilts, Joseph Leitschuh, Deborah Branigan, Virginia Gabo, Jae H Eom, Jessica R Castle, and Peter G Jacobs. 2023. Enabling fully automated insulin delivery through meal detection and size estimation using Artificial Intelligence. npj Digital Medicine 6, 1 (2023), 39."},{"volume-title":"Variational Continual Learning. In International Conference on Learning Representations.","author":"Nguyen Cuong V.","key":"e_1_3_2_1_26_1","unstructured":"Cuong V. Nguyen, Yingzhen Li, Thang D. Bui, and Richard E. Turner. 2018. Variational Continual Learning. In International Conference on Learning Representations."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00007"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the AAAI Conference on Artificial Intelligence 27","author":"Ruvolo P.","year":"2013","unstructured":"P. Ruvolo and E. Eaton. 2013. Active task selection for lifelong machine learning. Proceedings of the AAAI Conference on Artificial Intelligence 27, 1 (2013)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-55860-247-2.50055-3"},{"key":"e_1_3_2_1_30_1","volume-title":"Proximal policy optimization algorithms. arXiv preprint arXiv:1707.06347","author":"Schulman John","year":"2017","unstructured":"John Schulman, Filip Wolski, Prafulla Dhariwal, Alec Radford, and Oleg Klimov. 2017. Proximal policy optimization algorithms. arXiv preprint arXiv:1707.06347 (2017)."},{"key":"e_1_3_2_1_31_1","volume-title":"Lifelong Learning Algorithms. Learning to learn 8","author":"Thrun Sebastian","year":"1998","unstructured":"Sebastian Thrun. 1998. Lifelong Learning Algorithms. Learning to learn 8 (1998), 181--209."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3199852"},{"key":"e_1_3_2_1_33_1","unstructured":"Harish Venkataraman Derya Aksaray and Peter Seiler. 2020. Tractable reinforcement learning of signal temporal logic objectives. In Learning for Dynamics and Control. PMLR 308--317."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619829"},{"key":"e_1_3_2_1_35_1","volume-title":"Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings 20","author":"Zhou Weichao","year":"2020","unstructured":"Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, and Wenchao Li. 2020. Runtime-safety-guided policy repair. In Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings 20. Springer, 131--150."}],"event":{"name":"ICCPS '25: ACM\/IEEE 16th International Conference on Cyber-Physical Systems","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Irvine CA USA","acronym":"ICCPS '25"},"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.3722012","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3716550.3722012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T14:01:04Z","timestamp":1756994464000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3716550.3722012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,6]]},"references-count":35,"alternative-id":["10.1145\/3716550.3722012","10.1145\/3716550"],"URL":"https:\/\/doi.org\/10.1145\/3716550.3722012","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"}}]}}