Decentralized abstractions, task assignment and plan synthesis

This deliverable describes how a control plan is synthesized for each agent in a decentralized manner based on a discrete abstraction of the agent’s dynamics (including its interactions with other agents) and the tasks assigned to the agent obtained from the decomposition of the global mission.