Synthesis for multi-robot controllers with interleaved motion.

Vasumathi Raman, Hadas Kress-Gazit

Browse the full ICRA paper archive.