Marius Kloetzer, Calin Belta. Distributed implementations of global temporal logic motion specifications. In 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA. pages 393-398, IEEE, 2008. [doi]
Abstract is missing.