A Multi-Agent Extension of a Hierarchical Task Network Planning Formalism

+