Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems | IEEE Conference Publication | IEEE Xplore