FMAP: Distributed Cooperative Multi-Agent Planning
The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks