TaskAllocation

How to decide which robots get which programs.

Simple heuristics, like splitting into equal groups.

Probably depends on how the planner decides to do the task, what sort of groups are needed and how the tasks get allocated.

How can allocation be done so that adding more robots makes the task better/faster?