Extending SATPLAN to Multiple Agents.
Yannis DimopoulosMuhammad Adnan HashmiPavlos MoraitisPublished in: SGAI Conf. (2010)
Keyphrases
- multiple agents
- mutual exclusion
- planning domains
- multi agent
- optimal plans
- long distance
- planning problems
- single agent
- multi agent coordination
- classical planning
- temporal planning
- reward function
- parallel processing
- ai planning
- search tree
- domain independent
- orders of magnitude
- computational complexity
- data structure