Handling uncertainty in the specification of autonomous multi-robot systems through mission adaptation | Synapse