Y Dimopoulos, P Moraitis - 2006 IEEE/WIC/ACM International …, 2006 - ieeexplore.ieee.org
Multi-agent planning is a fundamental problem in multi-agent systems that has acquired a variety of meanings in the relative literature. In this paper we focus on a setting where …
In this paper we address the problem of post-processing position constrained plans, output by many of the recent efficient metric temporal planners, to improve their execution flexibility …
Y Dimopoulos, MA Hashmi, P Moraitis - Knowledge-Based Systems, 2012 - Elsevier
Planning is a fundamental issue in multi-agent systems. In this work we focus on the coordination of multiple agents in two different settings. In the first, agents are able to attain …
J Cox, E Durfee - Multiagent and Grid Systems, 2009 - content.iospress.com
Coordination can be required whenever multiple agents plan to achieve their individual goals independently, but might mutually benefit by coordinating their plans to avoid working …
Recently, casting planning as propositional satisfiability has been shown to be a very promising technique for plan synthesis. Although encodings based both on statespace …
Many real-world robotic scenarios require performing task planning to decide courses of actions to be executed by (possibly heterogeneous) robots. A classical centralized planning …
In this paper, we present an approach to coordinate two temporal plans, where one plan is for the achievement of a reactive goal, and thus has more priority, while the other is for the …
AD Mali, Y Lipen - … 15th IEEE International Conference on Tools …, 2003 - ieeexplore.ieee.org
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping the …
Y Dimopoulos, MA Hashmi, P Moraitis - International Conference on …, 2010 - Springer
Multi-agent planning is a core issue in the multi-agent systems field. In this work we focus on the coordination of multiple agents in a setting where agents are able to achieve individual …