Document Open Access Logo

Dynamic Quantitative Skill Distribution in Multi-Agent Temporal Planning as SMT

Authors Josselin Guéneron , Frédéric Maris

PDF

File

Thumbnail PDF
PDF
OASIcs.TIME.2026.9.pdf
  • Filesize: 0.78 MB
  • 20 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Computing methodologies → Planning and scheduling
Keywords
  • Multi-Agent Temporal Planning
  • Multi-Agent Task Allocation
  • SMT-based Planning
  • Dynamic Team Formation

Metrics

Abstract

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.

Cite As Get BibTex

Josselin Guéneron and Frédéric Maris. Dynamic Quantitative Skill Distribution in Multi-Agent Temporal Planning as SMT. In 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026). Open Access Series in Informatics (OASIcs), Volume 146, pp. 9:1-9:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/OASIcs.TIME.2026.9

Author Details

Josselin Guéneron
  • Université Caen Normandie, ENSICAEN, CNRS, Normandie Univ, GREYC UMR6072, F-14000 Caen, France
Frédéric Maris
  • Université de Toulouse, IRIT, France

References

  1. Clark Barrett and Cesare Tinelli. Satisfiability modulo theories. In Handbook of model checking, pages 305-343. Springer, 2018. URL: https://doi.org/10.1007/978-3-319-10575-8_11.
  2. J. Benton, Amanda Jane Coles, and Andrew Coles. Temporal planning with preferences and time-dependent continuous costs. In Lee McCluskey, Brian Charles Williams, José Reinaldo Silva, and Blai Bonet, editors, Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, ICAPS 2012, Atibaia, São Paulo, Brazil, June 25-19, 2012. AAAI, 2012. URL: http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4699.
  3. Arthur Bit-Monnot. Experimenting with Lifted Plan-Space Planning as Scheduling: Aries in the 2023 IPC. In Proceedings of the 2023 International Planning Competition, Prague, Czech Republic, July 2023. Google Scholar
  4. Michael Cashmore, Maria Fox, Derek Long, and Daniele Magazzeni. A compilation of the full PDDL+ language into SMT. In Proceedings of the international conference on automated planning and scheduling, volume 26, pages 79-87, 2016. URL: http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/13101.
  5. Luiz Chaimowicz, Mario F.M. Campos, and Vijay Kumar. Dynamic role assignment for cooperative robots. In Proceedings of the IEEE International Conference on Robotics and Automation, volume 1, pages 293-298. IEEE, 2002. Google Scholar
  6. Martin C. Cooper, Frederic Maris, and Pierre Régnier. Monotone temporal planning: Tractability, extensions and applications. J. Artif. Intell. Res. (JAIR), 50:447-485, 2014. URL: https://doi.org/10.1613/JAIR.4358.
  7. Jorge H. Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, and Pierre Régnier. Touist: a friendly language for propositional logic and more. In 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), pages 5240-5242. International Joint Conferences on Artificial Intelligence Organization, 2020. URL: https://doi.org/10.24963/IJCAI.2020/756.
  8. Matthew E. Gaston and Marie DesJardins. Agent-organized networks for dynamic team formation. In Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pages 230-237, 2005. URL: https://doi.org/10.1145/1082473.1082508.
  9. Brian P. Gerkey and Maja J. Matarić. A formal analysis and taxonomy of task allocation in multi-robot systems. The International journal of robotics research, 23(9):939-954, 2004. URL: https://doi.org/10.1177/0278364904045564.
  10. Nicola Gigante, Andrea Micheli, Angelo Montanari, and Enrico Scala. Decidability and complexity of action-based temporal planning over dense time. Artif. Intell., 307:103686, 2022. URL: https://doi.org/10.1016/J.ARTINT.2022.103686.
  11. Tyler Gunn and John Anderson. Dynamic heterogeneous team formation for robotic urban search and rescue. Journal of Computer and System Sciences, 81(3):553-567, 2015. URL: https://doi.org/10.1016/J.JCSS.2014.11.009.
  12. Jussi Rintanen. Complexity of concurrent temporal planning. In Mark S. Boddy, Maria Fox, and Sylvie Thiébaux, editors, Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007, pages 280-287. AAAI, 2007. URL: http://www.aaai.org/Library/ICAPS/2007/icaps07-036.php.
  13. Jussi Rintanen. Discretization of temporal models with application to planning with SMT. In Proceedings of the AAAI Conference on Artificial Intelligence, volume 29, 2015. Google Scholar
  14. Jussi Rintanen. Planning and SAT. In Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh, editors, Handbook of Satisfiability - Second Edition, volume 336 of Frontiers in Artificial Intelligence and Applications, pages 765-789. IOS Press, 2021. URL: https://doi.org/10.3233/FAIA201003.
  15. Onn Shehory and Sarit Kraus. Methods for task allocation via agent coalition formation. Artificial intelligence, 101(1-2):165-200, 1998. URL: https://doi.org/10.1016/S0004-3702(98)00045-9.
  16. Milind Tambe. Towards flexible teamwork. Journal of artificial intelligence research, 7:83-124, 1997. URL: https://doi.org/10.1613/JAIR.433.
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact