Vasumathi Raman, Hadas Kress-Gazit. Synthesis for multi-robot controllers with interleaved motion. In 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014. pages 4316-4321, IEEE, 2014. [doi]
Abstract is missing.