{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T09:08:07Z","timestamp":1784538487731,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":39,"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.3794875","type":"proceedings-article","created":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T08:46:11Z","timestamp":1784537171000},"page":"129-135","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Assured Mission Adaptation of Multi-Robot Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-6324-9741","authenticated-orcid":false,"given":"Vicente","family":"Romeiro","sequence":"first","affiliation":[{"name":"Ruhr University Bochum, Bochum, Germany and University of Brasilia, Brasilia, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9997-8487","authenticated-orcid":false,"given":"Ricardo","family":"Caldas","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8908-6960","authenticated-orcid":false,"given":"Gianluca","family":"Filippone","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5438-2281","authenticated-orcid":false,"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute (GSSI), L'aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3870-5167","authenticated-orcid":false,"given":"Thorsten","family":"Berger","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum, Bochum, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1661-8131","authenticated-orcid":false,"given":"Genaina Nunes","family":"Rodrigues","sequence":"additional","affiliation":[{"name":"University of Bras\u00edlia, Brasilia, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"key":"e_1_3_3_2_2_2","unstructured":"2025. Gazebo Ignition Simulator. https:\/\/gazebosim.org."},{"key":"e_1_3_3_2_3_2","first-page":"1","volume-title":"2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)","author":"Alberts Elvin","year":"2024","unstructured":"Elvin Alberts, Ilias Gerostathopoulos, Vincenzo Stoico, and Patricia Lago. 2024. ReBeT: Architecture-based Self-adaptation of Robotic Systems through Behavior Trees. In 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS). 1\u201310."},{"key":"e_1_3_3_2_4_2","unstructured":"Anon.2025. AMAR replication package. https:\/\/anonymous.4open.science\/r\/amar-replication. https:\/\/anonymous.4open.science\/r\/amar-replication"},{"key":"e_1_3_3_2_5_2","first-page":"245","volume-title":"2021 SEAMS (SEAMS)","author":"Askarpour Mehrnoosh","year":"2021","unstructured":"Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio Garc\u00eda, Ricardo Caldas, Tim\u00a0J von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello\u00a0M. Bersani, and Gabriel\u00a0S. Rodrigues. 2021. RoboMAX: Robotic Mission Adaptation eXemplars. In 2021 SEAMS (SEAMS). 245\u2013251."},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"crossref","unstructured":"Ricardo Caldas Juan Antonio\u00a0Pi\u00f1era Garc\u00eda Matei Schiopu Patrizio Pelliccione Gena\u00edna Rodrigues and Thorsten Berger. 2024. Runtime Verification and Field-Based Testing for ROS-Based Robotic Systems. IEEE Trans. Softw. Eng. 50 10 (2024) 2544\u20132567.","DOI":"10.1109\/TSE.2024.3444697"},{"key":"e_1_3_3_2_7_2","series-title":"(MODELS \u201920)","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/3365438.3410952","volume-title":"Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems","author":"Cheng Betty H.\u00a0C.","year":"2020","unstructured":"Betty H.\u00a0C. Cheng, Robert\u00a0Jared Clark, Jonathon\u00a0Emil Fleck, Michael\u00a0Austin Langford, and Philip\u00a0K. McKinley. 2020. AC-ROS: assurance case driven adaptation for the robot operating system. In Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (Virtual Event, Canada) (MODELS \u201920). ACM, New York, NY, USA, 102\u2013113."},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/978-3-319-67531-2_11","volume-title":"Runtime Verification","author":"Desai Ankush","year":"2017","unstructured":"Ankush Desai, Tommaso Dreossi, and Sanjit\u00a0A. Seshia. 2017. Combining Model Checking and Runtime Verification for Safe Robotics. In Runtime Verification, Shuvendu Lahiri and Giles Reger (Eds.). Springer, Cham, 172\u2013189."},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1007\/978-3-031-15908-4_22","volume-title":"Towards Autonomous Robotic Systems","author":"Devlin-Hill Brendan","year":"2022","unstructured":"Brendan Devlin-Hill, Radu Calinescu, Javier C\u00e1mara, and Ipek Caliskanelli. 2022. Towards Scalable Multi-robot Systems by Partitioning the Task Domain. In Towards Autonomous Robotic Systems, Salvador Pacheco-Gutierrez, Alice Cryer, Ipek Caliskanelli, Harun Tugal, and Robert Skilton (Eds.). Springer, Cham, 282\u2013292."},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"crossref","unstructured":"Hans Jacob\u00a0S Feder John\u00a0J Leonard and Christopher\u00a0M Smith. 1999. Adaptive mobile robot navigation and mapping. Int. J. Robot. Res. 18 7 (1999) 650\u2013668.","DOI":"10.1177\/02783649922066484"},{"key":"e_1_3_3_2_11_2","series-title":"(SEAMS \u201924)","first-page":"25","volume-title":"Proceedings of the 19th SEAMS","author":"Filippone Gianluca","year":"2024","unstructured":"Gianluca Filippone, Juan\u00a0Antonio Pi\u00f1era Garc\u00eda, Marco Autili, and Patrizio Pelliccione. 2024. Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation. In Proceedings of the 19th SEAMS (Lisbon, AA, Portugal) (SEAMS \u201924). ACM, New York, NY, USA, 25\u201336."},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"crossref","unstructured":"Sergio Garc\u00eda Daniel Str\u00fcber Davide Brugali Alessandro Di\u00a0Fava Patrizio Pelliccione and Thorsten Berger. 2022. Software variability in service robotics. Empirical Software Engineering 28 2 (2022) 24.","DOI":"10.1007\/s10664-022-10231-5"},{"key":"e_1_3_3_2_13_2","volume-title":"International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ-2020)","author":"Giannakopoulou Dimitra","year":"2020","unstructured":"Dimitra Giannakopoulou, Anastasia Mavridou, Julian Rhein, Thomas Pressburger, Johann Schumann, and Nija Shi. 2020. Formal requirements elicitation with FRET. In International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ-2020)."},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Mehmet\u00a0Serdar G\u00fczel Mehmet Kara and Mehmet\u00a0S\u0131tk\u0131 Beyazk\u0131l\u0131\u00e7. 2017. An adaptive framework for mobile robot navigation. Adaptive Behavior 25 1 (2017) 30\u201339.","DOI":"10.1177\/1059712316685875"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Sara\u00a0M. Hezavehi Danny Weyns Paris Avgeriou Radu Calinescu Raffaela Mirandola and Diego Perez-Palacin. 2021. Uncertainty in Self-adaptive Systems: A Research Community Perspective. ACM Trans. Auton. Adapt. Syst. 15 4 Article 10 (dec 2021) 36\u00a0pages.","DOI":"10.1145\/3487921"},{"key":"e_1_3_3_2_16_2","unstructured":"Horizon 2020. 2015. Robotics 2020 Multi-Annual Roadmap."},{"key":"e_1_3_3_2_17_2","first-page":"166","volume-title":"2017 3rd ICCAR (ICCAR)","author":"Hrabia Christopher-Eyk","year":"2017","unstructured":"Christopher-Eyk Hrabia, Stephan Wypler, and Sahin Albayrak. 2017. Towards goal-driven behaviour control of multi-robot systems. In 2017 3rd ICCAR (ICCAR). 166\u2013173."},{"key":"e_1_3_3_2_18_2","first-page":"39","volume-title":"2019 IEEE\/ACM 14th SEAMS (SEAMS)","author":"Jamshidi Pooyan","year":"2019","unstructured":"Pooyan Jamshidi, Javier C\u00e1mara, Bradley Schmerl, Christian K\u00e4estner, and David Garlan. 2019. Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous Robots. In 2019 IEEE\/ACM 14th SEAMS (SEAMS). 39\u201350."},{"key":"e_1_3_3_2_19_2","first-page":"7520","volume-title":"2023 62nd IEEE CDC (CDC)","author":"Kalluraya Samarth","year":"2023","unstructured":"Samarth Kalluraya, George\u00a0J. Pappas, and Yiannis Kantaros. 2023. Resilient Temporal Logic Planning in the Presence of Robot Failures. In 2023 62nd IEEE CDC (CDC). 7520\u20137526."},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1007\/978-3-031-13188-2_24","volume-title":"Computer Aided Verification","author":"Katis Andreas","year":"2022","unstructured":"Andreas Katis, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, and Johann Schumann. 2022. Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET. In Computer Aided Verification, Sharon Shoham and Yakir Vizel (Eds.). Springer, Cham, 490\u2013504."},{"key":"e_1_3_3_2_21_2","first-page":"4521","volume-title":"2021 60th IEEE CDC (CDC)","author":"Konda Rohit","year":"2021","unstructured":"Rohit Konda, Rahul Chandan, and Jason\u00a0R. Marden. 2021. Mission Level Uncertainty in Multi-Agent Resource Allocation. In 2021 60th IEEE CDC (CDC). 4521\u20134526."},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"J. Kramer and J. Magee. 1990. The evolving philosophers problem: dynamic change management. IEEE Trans. Softw. Eng. 16 11 (1990) 1293\u20131306.","DOI":"10.1109\/32.60317"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"crossref","unstructured":"Jeff Kramer and Jeff Magee. 2025. Dynamic Change Management: Quiescence Revisited. IEEE Trans. Softw. Eng. 51 3 (2025) 746\u2013750.","DOI":"10.1109\/TSE.2024.3521298"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/978-3-319-95582-7_24","volume-title":"Formal Methods","author":"Menghi Claudio","year":"2018","unstructured":"Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, and Jana Tumova. 2018. Multi-robot LTL Planning Under Uncertainty. In Formal Methods, Klaus Havelund, Jan Peleska, Bill Roscoe, and Erik de\u00a0Vink (Eds.). Springer, Cham, 399\u2013417."},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"crossref","unstructured":"Takashi Minato and Minoru Asada. 2000. Environmental change adaptation for mobile robot navigation. Journal of the Robotics Society of Japan 18 5 (2000) 706\u2013712.","DOI":"10.7210\/jrsj.18.706"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"crossref","unstructured":"Leandro Nahabedian Victor Braberman Nicol\u00e1s D\u2019Ippolito Shinichi Honiden Jeff Kramer Kenji Tei and Sebasti\u00e1n Uchitel. 2020. Dynamic Update of Discrete Event Controllers. IEEE Trans. Softw. Eng. 46 11 (2020) 1220\u20131240.","DOI":"10.1109\/TSE.2018.2876843"},{"key":"e_1_3_3_2_27_2","first-page":"387","volume-title":"International conference on tools and algorithms for the construction and analysis of systems","author":"Perez Ivan","year":"2022","unstructured":"Ivan Perez, Anastasia Mavridou, Tom Pressburger, Alwyn Goodloe, and Dimitra Giannakopoulou. 2022. Automated translation of natural language requirements to runtime monitors. In International conference on tools and algorithms for the construction and analysis of systems. Springer, 387\u2013395."},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/978-3-642-16612-9_26","volume-title":"International Conference on Runtime Verification","author":"Pike Lee","year":"2010","unstructured":"Lee Pike, Alwyn Goodloe, Robin Morisset, and Sebastian Niller. 2010. Copilot: A hard real-time runtime monitor. In International Conference on Runtime Verification. Springer, 345\u2013359."},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/RoSE66716.2025.00006","volume-title":"2025 IEEE\/ACM 7th International Workshop on Robotics Software Engineering (RoSE)","author":"Rostamnia Mehran","year":"2025","unstructured":"Mehran Rostamnia, Gianluca Filippone, Ricardo Caldas, and Patrizio Pelliccione. 2025. Towards Adaptable and Uncertainty-Aware Behavior Trees. In 2025 IEEE\/ACM 7th International Workshop on Robotics Software Engineering (RoSE). 9\u201316."},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"crossref","unstructured":"Raquel S\u00e1nchez-Salas Javier Troya and Javier C\u00e1mara. 2025. Automated Planning for Task-Based Cyber-Physical Systems under Multiple Sources of Uncertainty. ACM Trans. Auton. Adapt. Syst. (May 2025). Just Accepted.","DOI":"10.2139\/ssrn.4918199"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"crossref","unstructured":"Abdel-Nasser Sharkawy and Panagiotis\u00a0N Koustoumpardis. 2022. Human\u2013robot interaction: A review and analysis on variable admittance control safety and perspectives. Machines 10 7 (2022) 591.","DOI":"10.3390\/machines10070591"},{"key":"e_1_3_3_2_32_2","doi-asserted-by":"crossref","unstructured":"Samira Silva Patrizio Pelliccione and Antonia Bertolino. 2024. Self-Adaptive Testing in the Field. ACM Trans. Auton. Adapt. Syst. 19 1 Article 4 (Feb. 2024) 37\u00a0pages.","DOI":"10.1145\/3627163"},{"key":"e_1_3_3_2_33_2","first-page":"1","volume-title":"2023 ECMR (ECMR)","author":"Staniaszek Michal","year":"2023","unstructured":"Michal Staniaszek, Lara Bruderm\u00fcller, Raunak Bhattacharyya, Bruno Lacerda, and Nick Hawes. 2023. Difficulty-Aware Time-Bounded Planning Under Uncertainty for Large-Scale Robot Missions. In 2023 ECMR (ECMR). 1\u20137."},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"crossref","first-page":"2999","DOI":"10.1109\/ICRA.2013.6630993","volume-title":"2013 IEEE International Conference on Robotics and Automation","author":"Sung Cynthia","year":"2013","unstructured":"Cynthia Sung, Nora Ayanian, and Daniela Rus. 2013. Improving the performance of multi-robot systems by task switching. In 2013 IEEE International Conference on Robotics and Automation. 2999\u20133006."},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/978-3-031-60698-4_22","volume-title":"NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4\u20136, 2024, Proceedings","author":"V\u00e1zquez Gricel","year":"2024","unstructured":"Gricel V\u00e1zquez, Anastasia Mavridou, Marie Farrell, Tom Pressburger, and Radu Calinescu. 2024. Robotics: A New Mission for FRET Requirements. In NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4\u20136, 2024, Proceedings (Moffett Field, CA, USA). Springer-Verlag, Berlin, Heidelberg, 359\u2013376."},{"key":"e_1_3_3_2_36_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). 73\u201384."},{"key":"e_1_3_3_2_37_2","first-page":"1","volume-title":"Basic Principles of Self-Adaptation and Conceptual Model","author":"Weyns Danny","year":"2021","unstructured":"Danny Weyns. 2021. Basic Principles of Self-Adaptation and Conceptual Model. John Wiley & Sons, Ltd, Chapter\u00a01, 1\u201315."},{"key":"e_1_3_3_2_38_2","doi-asserted-by":"crossref","unstructured":"Shuo Yang Xinjun Mao Sen Yang and Zhe Liu. 2017. Towards a hybrid software architecture and multi-agent approach for autonomous robot software. International Journal of Advanced Robotic Systems 14 4 (2017) 1729881417716088.","DOI":"10.1177\/1729881417716088"},{"key":"e_1_3_3_2_39_2","volume-title":"Human-Robot Interaction Control Using Reinforcement Learning","author":"Yu Wen","year":"2021","unstructured":"Wen Yu and Adolfo Perrusquia. 2021. Human-Robot Interaction Control Using Reinforcement Learning. John Wiley & Sons."},{"key":"e_1_3_3_2_40_2","doi-asserted-by":"crossref","unstructured":"Sebasti\u00e1n\u00a0A. Zudaire Leandro Nahabedian and Sebasti\u00e1n Uchitel. 2022. Assured Mission Adaptation of UAVs. ACM Trans. Auton. Adapt. Syst. 16 3\u20134 Article 7 (July 2022) 27\u00a0pages.","DOI":"10.1145\/3513091"}],"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.3794875","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T08:46:27Z","timestamp":1784537187000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3788550.3794875"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,13]]},"references-count":39,"alternative-id":["10.1145\/3788550.3794875","10.1145\/3788550"],"URL":"https:\/\/doi.org\/10.1145\/3788550.3794875","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"}}]}}