{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,27]],"date-time":"2026-07-27T05:23:55Z","timestamp":1785129835035,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T00:00:00Z","timestamp":1713139200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Spanish Government (FEDER, Ministerio de Ciencia e Innovaci\u00f3n--Agencia Estatal de Investigaci\u00f3n)","award":["TED2021-130523B-I00"],"award-info":[{"award-number":["TED2021-130523B-I00"]}]},{"name":"Spanish Government (FEDER, Ministerio de Ciencia e Innovaci\u00f3n--Agencia Estatal de Investigaci\u00f3n)","award":["PID2021-125527NB-I00"],"award-info":[{"award-number":["PID2021-125527NB-I00"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,15]]},"DOI":"10.1145\/3643915.3644083","type":"proceedings-article","created":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T14:11:05Z","timestamp":1717769465000},"page":"14-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-8203-7494","authenticated-orcid":false,"given":"Raquel","family":"Sanchez","sequence":"first","affiliation":[{"name":"University of Malaga, Malaga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1314-9694","authenticated-orcid":false,"given":"Javier","family":"Troya","sequence":"additional","affiliation":[{"name":"University of Malaga, Malaga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6717-4775","authenticated-orcid":false,"given":"Javier","family":"Camara","sequence":"additional","affiliation":[{"name":"University of Malaga, Malaga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","first-page":"107004","DOI":"10.1016\/j.cie.2020.107004","article-title":"Multi-skilling in scheduling problems: A review on models, methods and applications","volume":"151","author":"Afshar-Nadjafi Behrouz","year":"2021","unstructured":"Behrouz Afshar-Nadjafi. 2021. Multi-skilling in scheduling problems: A review on models, methods and applications. Computers & Industrial Engineering 151 (2021), 107004.","journal-title":"Computers & Industrial Engineering"},{"key":"e_1_3_2_1_2_1","volume-title":"16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2021","author":"Askarpour Mehrnoosh","year":"2021","unstructured":"Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio Garc\u00eda, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, and Gabriel S. Rodrigues. 2021. RoboMAX: Robotic Mission Adaptation eXemplars. In 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2021, Madrid, Spain, May 18--24, 2021. IEEE, 245--251."},{"key":"e_1_3_2_1_3_1","volume-title":"FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings (Lecture Notes in Computer Science","volume":"251","author":"Calinescu Radu","year":"2015","unstructured":"Radu Calinescu, Simos Gerasimou, and Alec Banks. 2015. Self-adaptive Software with Decentralised Control Loops. In Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings (Lecture Notes in Computer Science, Vol. 9033), Alexander Egyed and Ina Schaefer (Eds.). Springer, 235--251."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224391"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387939.3391591"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-022-01037-6"},{"key":"e_1_3_2_1_7_1","volume-title":"Schmerl","author":"Cheng Shang-Wen","year":"2009","unstructured":"Shang-Wen Cheng, Vahe Poladian, David Garlan, and Bradley R. Schmerl. 2009. Improving Architecture-Based Self-Adaptation through Resource Prediction. In Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar] (Lecture Notes in Computer Science, Vol. 5525), Betty H. C. Cheng, Rog\u00e9rio de Lemos, Holger Giese, Paola Inverardi, and Jeff Magee (Eds.). Springer, 71--88."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. International Foundation for Autonomous Agents and Multiagent Systems, 492--500","author":"Claes Daniel","year":"2017","unstructured":"Daniel Claes, Frans Oliehoek, Hendrik Baier, and Karl Tuyls. 2017. Decentralised online planning for multi-robot warehouse commissioning. In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems. International Foundation for Autonomous Agents and Multiagent Systems, 492--500."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.36"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"e_1_3_2_1_12_1","volume-title":"Junxing Yang, Scott A Smolka, and Radu Grosu.","author":"Legay Axel","year":"2019","unstructured":"Axel Legay, Anna Lukina, Louis Marie Traonouez, Junxing Yang, Scott A Smolka, and Radu Grosu. 2019. Statistical model checking. In Computing and software science: state of the art and perspectives. Springer, 478--504."},{"key":"e_1_3_2_1_13_1","first-page":"45","article-title":"A Classification Framework of Uncertainty in Architecture-Based Self-Adaptive Systems With Multiple Quality Requirements. Morgan Kaufmann","volume":"3","author":"Mahdavi-Hezavehi Sara","year":"2017","unstructured":"Sara Mahdavi-Hezavehi, Paris Avgeriou, and Danny Weyns. 2017. A Classification Framework of Uncertainty in Architecture-Based Self-Adaptive Systems With Multiple Quality Requirements. Morgan Kaufmann, Chapter 3, 45 -- 77.","journal-title":"Chapter"},{"key":"e_1_3_2_1_14_1","volume-title":"FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15--17, 2018, Proceedings. 399--417","author":"Menghi Claudio","year":"2018","unstructured":"Claudio Menghi, Sergio Garc\u00eda, Patrizio Pelliccione, and Jana Tumova. 2018. Multi-robot LTL Planning Under Uncertainty. In Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15--17, 2018, Proceedings. 399--417."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","first-page":"10627","DOI":"10.1109\/TCYB.2021.3070913","article-title":"GMP: A Genetic Mission Planner for Heterogeneous Multirobot System Applications","volume":"52","author":"Miloradovic Branko","year":"2022","unstructured":"Branko Miloradovic, Baran \u00c7\u00fcr\u00fckl\u00fc, Mikael Ekstr\u00f6m, and Alessandro Vittorio Papadopoulos. 2022. GMP: A Genetic Mission Planner for Heterogeneous Multirobot System Applications. IEEE Trans. Cybern. 52, 10 (2022), 10627--10638.","journal-title":"IEEE Trans. Cybern."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","first-page":"24367","DOI":"10.1109\/ACCESS.2023.3254900","article-title":"Optimizing Parallel Task Execution for Multi-Agent Mission Planning","volume":"11","author":"Miloradovic Branko","year":"2023","unstructured":"Branko Miloradovic, Baran \u00c7\u00fcr\u00fckl\u00fc, Mikael Ekstr\u00f6m, and Alessandro Vittorio Papadopoulos. 2023. Optimizing Parallel Task Execution for Multi-Agent Mission Planning. IEEE Access 11 (2023), 24367--24381.","journal-title":"IEEE Access"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568088.2568095"},{"key":"e_1_3_2_1_19_1","volume-title":"Cheng","author":"Ramirez Andres J.","year":"2012","unstructured":"Andres J. Ramirez, Adam C. Jensen, and Betty H. C. Cheng. 2012. A taxonomy of uncertainty for dynamically adaptive systems. In Proc. of SEAMS'12. IEEE Computer Society, 99--108."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Gricel V\u00e1zquez Radu Calinescu and Javier C\u00e1mara. 2022. Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. In Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) FMAS\/ASYDE@SEFM 2022 and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin Germany 26th and 27th of September 2022 (EPTCS Vol. 371) Matt Luckcuck and Marie Farrell (Eds.). 156--174.","DOI":"10.4204\/EPTCS.371.0"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3070634"},{"key":"e_1_3_2_1_22_1","volume-title":"2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011","author":"Villegas Norha M.","year":"2011","unstructured":"Norha M. Villegas, Hausi A. M\u00fcller, Gabriel Tamura, Laurence Duchien, and Rubby Casallas. 2011. A framework for evaluating quality-driven self-adaptive software systems. In 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2011, Waikiki, Honolulu, HI, USA, May 23--24, 2011, Holger Giese and Betty H. C. Cheng (Eds.). ACM, 80--89."},{"key":"e_1_3_2_1_23_1","volume-title":"Dynamic Optimization of the Multi-Skilled Resource-Constrained Project Scheduling Problem with Uncertainty in Resource Availability. Mathematics 10, 17","author":"Wang Min","year":"2022","unstructured":"Min Wang, Guoshan Liu, and Xinyu Lin. 2022. Dynamic Optimization of the Multi-Skilled Resource-Constrained Project Scheduling Problem with Uncertainty in Resource Availability. Mathematics 10, 17 (2022)."}],"event":{"name":"SEAMS '24: 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","location":"Lisbon AA Portugal","acronym":"SEAMS '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643915.3644083","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3643915.3644083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:57:35Z","timestamp":1750291055000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3643915.3644083"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,15]]},"references-count":23,"alternative-id":["10.1145\/3643915.3644083","10.1145\/3643915"],"URL":"https:\/\/doi.org\/10.1145\/3643915.3644083","relation":{},"subject":[],"published":{"date-parts":[[2024,4,15]]},"assertion":[{"value":"2024-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}