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

+ −