Multi-Robot Task Planning with Humans in the Shared Workspace

This deliverable describes the temporal logic-based strategy used to ensure safety of the human and multirobot system in the shared environment, while each robot accomplishes the specified agronomic task.