Marius Kloetzer, Sanjiv Itani, Sam Birch, Calin Belta. On the need for communication in distributed implementations of LTL motion specifications. In IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010. pages 4451-4456, IEEE, 2010. [doi]
Abstract is missing.