Task description, decomposition, and allocation in a distributed autonomous multi-agent robot system | IEEE Conference Publication | IEEE Xplore