2026-10-10T21:17:32Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:27705 2026-10-10T19:48:19Z ddc:004 open_access

Dynamic Quantitative Skill Distribution in Multi-Agent Temporal Planning as SMT Guéneron, Josselin Maris, Frédéric Multi-Agent Temporal Planning Multi-Agent Task Allocation SMT-based Planning Dynamic Team Formation We introduce a new framework for multi-agent temporal planning, based on event-based temporal planning, dynamic team formation and Multi-Robot Task Allocation (MRTA). Unlike existing approaches, team formation is directly integrated into the planning and scheduling process. Then, both the teams and agents' skills may evolve over time. In particular, our framework allows us to address complex and dynamic multi-agent problems, such as cooperative task execution, where heterogeneous agents with qualitative and quantitative skills must cooperate dynamically. We propose an SMT encoding of these team temporal planning problems that utilizes the linear arithmetic theory over the rational numbers, QF-LRA. Next, to demonstrate that our approach is suitable for real-world applications, we present experimental results on disaster response problems. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Josselin Guéneron and Frédéric Maris 2026 Is Part Of OASIcs, Volume 146, 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.TIME.2026.9 urn:nbn:de:0030-drops-277052 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.TIME.2026.9 eng https://creativecommons.org/licenses/by/4.0/legalcode