Synthesis for multi-robot controllers with interleaved motion | IEEE Conference Publication | IEEE Xplore