Reactive switching protocols for multi-robot high-level tasks | IEEE Conference Publication | IEEE Xplore