Minimal Time Dynamic Task Allocation for a Swarm of Robots
ASyMTRe: Automated Synthesis of Multi-Robot Task Solutions through Software Reconfiguration