Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS) | IEEE Journals & Magazine | IEEE Xplore