Supervising multiple cooperating mobile robots