{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T09:08:40Z","timestamp":1784538520418,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T00:00:00Z","timestamp":1776038400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,13]]},"DOI":"10.1145\/3788550.3794869","type":"proceedings-article","created":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T08:46:11Z","timestamp":1784537171000},"page":"68-73","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4886-5567","authenticated-orcid":false,"given":"Gricel","family":"V\u00e1zquez","sequence":"first","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3198-9226","authenticated-orcid":false,"given":"Calum","family":"Imrie","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4405-5754","authenticated-orcid":false,"given":"Sepeedeh","family":"Shahbeigi","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8869-3977","authenticated-orcid":false,"given":"Nawshin Mannan","family":"Proma","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3763-1688","authenticated-orcid":false,"given":"Tian","family":"Gan","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2469-0224","authenticated-orcid":false,"given":"Victoria J","family":"Hodge","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0921-5908","authenticated-orcid":false,"given":"John","family":"Molloy","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2706-5272","authenticated-orcid":false,"given":"Simos","family":"Gerasimou","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"Project\u2019s GitHub. https:\/\/github.com\/Gricel-lee\/RV-OutOfODD\/tree\/main-v1-SEAMS26."},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1109\/ICSR66718.2025.00016","volume-title":"2025 IEEE\/ACM 22nd International Conference on Software and Systems Reuse (ICSR)","author":"Abeywickrama Dhaminda\u00a0B.","year":"2025","unstructured":"Dhaminda\u00a0B. Abeywickrama, Michael Fisher, Frederic Wheeler, and Louise Dennis. 2025. Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots. In 2025 IEEE\/ACM 22nd International Conference on Software and Systems Reuse (ICSR). IEEE Computer Society, 95\u2013100. 10.1109\/ICSR66718.2025.00016"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Naif Alasmari Radu Calinescu Colin Paterson and Raffaela Mirandola. 2022. Quantitative verification with adaptive uncertainty reduction. Journal of Systems and Software 188 (2022) 111275.","DOI":"10.1016\/j.jss.2022.111275"},{"key":"e_1_3_3_2_5_2","unstructured":"Rob Alexander Heather\u00a0Rebecca Hawkins and Andrew\u00a0John Rae. 2015. Situation coverage\u2013a coverage criterion for testing autonomous robots. (2015)."},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"crossref","unstructured":"H\u00e9ctor Avil\u00e9s Marco Negrete Alberto Reyes Rub\u00e9n Machucho Karelly Rivera Gloria de-la Garza and Alberto Petrilli. 2024. Autonomous Behavior Selection For Self-driving Cars Using Probabilistic Logic Factored Markov Decision Processes. Applied Artificial Intelligence 38 1 (2024) 2304942.","DOI":"10.1080\/08839514.2024.2304942"},{"key":"e_1_3_3_2_7_2","volume-title":"Principles of model checking","author":"Baier Christel","year":"2008","unstructured":"Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT press."},{"key":"e_1_3_3_2_8_2","first-page":"223","volume-title":"Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers","author":"Calinescu Radu","year":"2018","unstructured":"Radu Calinescu, Simos Gerasimou, Kenneth Johnson, and Colin Paterson. 2018. Using runtime quantitative verification to provide assurance evidence for self-adaptive software: advances, applications and research challenges. In Software Engineering for Self-Adaptive Systems III. Assurances: International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers. Springer, 223\u2013248."},{"key":"e_1_3_3_2_9_2","unstructured":"Radu Calinescu Sinem Getir Yaman Simos Gerasimou Gricel V\u00e1zquez and Micah Bassett. 2025. Verification and External Parameter Inference for Stochastic World Models. 2026 IEEE\/ACM 48th IEEE International Conference on Software Engineering (2025). https:\/\/arxiv.org\/abs\/2503.16034"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"crossref","unstructured":"Radu Calinescu Carlo Ghezzi Kenneth Johnson Mauro Pezz\u00e9 Yasmin Rafiq and Giordano Tamburrelli. 2015. Formal verification with confidence intervals to establish quality of service properties of software systems. IEEE transactions on reliability 65 1 (2015) 107\u2013125.","DOI":"10.1109\/TR.2015.2452931"},{"key":"e_1_3_3_2_11_2","unstructured":"Radu Calinescu Calum Imrie Ravi Mangal Gena\u00edna\u00a0Nunes Rodrigues Corina P\u0103s\u0103reanu Misael\u00a0Alpizar Santana and Gricel V\u00e1zquez. 2022. Discrete-event controller synthesis for autonomous systems with deep-learning perception components. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2202.03360 (2022)."},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1145\/2695664.2695680","volume-title":"Proceedings of the 30th annual ACM symposium on applied computing","author":"C\u00e1mara Javier","year":"2015","unstructured":"Javier C\u00e1mara, David Garlan, Bradley Schmerl, and Ashutosh Pandey. 2015. Optimal planning for architecture-based self-adaptation via model checking of stochastic games. In Proceedings of the 30th annual ACM symposium on applied computing. 428\u2013435."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS51251.2021.00041"},{"key":"e_1_3_3_2_14_2","first-page":"9","volume-title":"2025 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA)","author":"Gao Shang","year":"2025","unstructured":"Shang Gao, Zhixin Huang, Ghassan Al-Falouji, Bernhard Sick, and Sven Tomforde. 2025. Towards Cognitive Situational Awareness in Maritime Traffic Using Federated Evidential Learning. In 2025 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA). 9\u201316. 10.1109\/CogSIMA64436.2025.11079521"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/2593929.2593932","volume-title":"Proceedings of the 9th international symposium on software engineering for adaptive and self-managing systems","author":"Gerasimou Simos","year":"2014","unstructured":"Simos Gerasimou, Radu Calinescu, and Alec Banks. 2014. Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. In Proceedings of the 9th international symposium on software engineering for adaptive and self-managing systems. 115\u2013124."},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Victoria\u00a0J Hodge and Matt Osborne. 2025. Agile Development for Safety Assurance of Machine Learning in Autonomous Systems (AgileAMLAS). Array 27 (2025) 100482.","DOI":"10.1016\/j.array.2025.100482"},{"key":"e_1_3_3_2_17_2","unstructured":"Victoria\u00a0J. Hodge Colin Paterson and Ibrahim Habli. 2025. Out-of-Distribution Detection for Safety Assurance of AI and Autonomous Systems. arxiv:https:\/\/arXiv.org\/abs\/2510.21254\u00a0[cs.AI] https:\/\/arxiv.org\/abs\/2510.21254"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/3643915.3644107","volume-title":"Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","author":"Imrie Calum","year":"2024","unstructured":"Calum Imrie, Rhys Howard, Divya Thuremella, Nawshin\u00a0Mannan Proma, Tejas Pandey, Paulina Lewinska, Ricardo Cannizzaro, Richard Hawkins, Colin Paterson, Lars Kunze, et\u00a0al. 2024. Aloft: self-adaptive drone controller testbed. In Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. 70\u201376."},{"key":"e_1_3_3_2_19_2","unstructured":"Erblin Isaku Hassan Sartaj and Shaukat Ali. 2025. Digital Twin-based Out-of-Distribution Detection in Autonomous Vessels. arxiv:https:\/\/arXiv.org\/abs\/2504.19816\u00a0[cs.RO] https:\/\/arxiv.org\/abs\/2504.19816"},{"key":"e_1_3_3_2_20_2","first-page":"220","volume-title":"International School on Formal Methods for the Design of Computer, Communication and Software Systems","author":"Kwiatkowska Marta","year":"2007","unstructured":"Marta Kwiatkowska, Gethin Norman, and David Parker. 2007. Stochastic model checking. In International School on Formal Methods for the Design of Computer, Communication and Software Systems. Springer, 220\u2013270."},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification: 23rd International Conferenc (CAV). Proceedings 23","author":"Kwiatkowska Marta","year":"2011","unstructured":"Marta Kwiatkowska, Gethin Norman, and David Parker. 2011. PRISM 4.0: Verification of probabilistic real-time systems. In Computer Aided Verification: 23rd International Conferenc (CAV). Proceedings 23. Springer, 585\u2013591."},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"publisher","unstructured":"J. Lee et\u00a0al. 2025. Enhancing Safety in Autonomous Maritime Transportation Systems with Real-Time AI Agents. Applied Sciences 15 9 (2025) 4986. 10.3390\/app15094986","DOI":"10.3390\/app15094986"},{"key":"e_1_3_3_2_23_2","first-page":"1","volume-title":"Proceedings of the 2015 10th joint meeting on foundations of software engineering","author":"Moreno Gabriel\u00a0A","year":"2015","unstructured":"Gabriel\u00a0A Moreno, Javier C\u00e1mara, David Garlan, and Bradley Schmerl. 2015. Proactive self-adaptation under uncertainty: a probabilistic model checking approach. In Proceedings of the 2015 10th joint meeting on foundations of software engineering. 1\u201312."},{"key":"e_1_3_3_2_24_2","unstructured":"Society of Automotive\u00a0Engineers. 2018. Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles. https:\/\/www.sae.org\/standards\/j3016_201806-taxonomy-definitions-terms-related-driving-automation-systems-road-motor-vehicles"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3615366.3625077"},{"key":"e_1_3_3_2_26_2","volume-title":"2025 IEEE International Conference on Vehicular Electronics and Safety","author":"Proma Nawshin\u00a0Mannan","year":"2025","unstructured":"Nawshin\u00a0Mannan Proma, Gricel\u00a0Vazquez Flores, Sepeedeh\u00a0Shahbeigi Roudposhti, Arjun Badyal, and Victoria\u00a0J Hodge. 2025. Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach. In 2025 IEEE International Conference on Vehicular Electronics and Safety. IEEE."},{"key":"e_1_3_3_2_27_2","volume-title":"Accepted for, 44th International Conference on Computer Safety, Reliability and Security (safecomp 2025)","author":"Proma Nawshin\u00a0Mannan","year":"2025","unstructured":"Nawshin\u00a0Mannan Proma, Victoria\u00a0J. Hodge, and Rob Alexander. 2025. SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment. In Accepted for, 44th International Conference on Computer Safety, Reliability and Security (safecomp 2025). https:\/\/arxiv.org\/abs\/2505.20969."},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS59076.2023.00030"},{"key":"e_1_3_3_2_29_2","first-page":"290","volume-title":"Euromicro Conference on Software Engineering and Advanced Applications","author":"Rafiq Yasmin","year":"2025","unstructured":"Yasmin Rafiq, Gricel V\u00e1zquez, Radu Calinescu, Sanja Dogramadzi, and Robert\u00a0M Hierons. 2025. Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing. In Euromicro Conference on Software Engineering and Advanced Applications. Springer, 290\u2013308."},{"key":"e_1_3_3_2_30_2","first-page":"191","volume-title":"International Conference on Modelling and Simulation for Autonomous Systems","author":"Tahir Zaid","year":"2021","unstructured":"Zaid Tahir and Rob Alexander. 2021. Intersection focused situation coverage-based verification and validation framework for autonomous vehicles implemented in Carla. In International Conference on Modelling and Simulation for Autonomous Systems. Springer, 191\u2013212."},{"key":"e_1_3_3_2_31_2","unstructured":"Tobias\u00a0Rye Torben. 2023. Formal approaches to design and verification of safe control systems for autonomous vessels. PhD Thesis NTNU: Norwegian University of Science and Technology https:\/\/hdl.handle.net\/11250\/3059350 (2023)."},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/SEAMS66627.2025.00016","volume-title":"2025 IEEE\/ACM 20th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","author":"V\u00e1zquez Gricel","year":"2025","unstructured":"Gricel V\u00e1zquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, and Simos Gerasimou. 2025. Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning. In 2025 IEEE\/ACM 20th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, 73\u201384."},{"key":"e_1_3_3_2_33_2","volume-title":"An introduction to self-adaptive systems: A contemporary software engineering perspective","author":"Weyns Danny","year":"2020","unstructured":"Danny Weyns. 2020. An introduction to self-adaptive systems: A contemporary software engineering perspective. John Wiley & Sons."},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/SEAMS59076.2023.00022","volume-title":"2023 IEEE\/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","author":"Weyns Danny","year":"2023","unstructured":"Danny Weyns and Jesper Andersson. 2023. From self-adaptation to self-evolution leveraging the operational design domain. In 2023 IEEE\/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, 90\u201396."},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"crossref","unstructured":"Danny Weyns Radu Calinescu Raffaela Mirandola Kenji Tei Maribel Acosta Nelly Bencomo Amel Bennaceur Nicolas Boltz Tomas Bures Javier Camara et\u00a0al. 2023. Towards a research agenda for understanding and managing uncertainty in self-adaptive systems. ACM SIGSOFT Software Engineering Notes 48 4 (2023) 20\u201336.","DOI":"10.1145\/3617946.3617951"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/3324884.3416565","volume-title":"Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering","author":"Zhao Xingyu","year":"2020","unstructured":"Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, and David Flynn. 2020. Interval change-point detection for runtime probabilistic model checking. In Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering. 163\u2013174."},{"key":"e_1_3_3_2_37_2","doi-asserted-by":"crossref","unstructured":"Xingyu Zhao Simos Gerasimou Radu Calinescu Calum Imrie Valentin Robu and David Flynn. 2024. Bayesian learning for the robust verification of autonomous robots. Communications Engineering 3 1 (2024) 18.","DOI":"10.1038\/s44172-024-00162-y"}],"event":{"name":"SEAMS '26: 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems","location":"Rio de Janeiro Brazil","acronym":"SEAMS '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 21st International Conference on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3788550.3794869","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T08:50:19Z","timestamp":1784537419000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3788550.3794869"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,13]]},"references-count":36,"alternative-id":["10.1145\/3788550.3794869","10.1145\/3788550"],"URL":"https:\/\/doi.org\/10.1145\/3788550.3794869","relation":{},"subject":[],"published":{"date-parts":[[2026,4,13]]},"assertion":[{"value":"2026-07-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}