Planeamento cooperativo de tarefas e trajectórias em múltiplos robôs