High-level mission specification for multiple robots