On the need for communication in distributed implementations of LTL motion specifications. - Marius Kloetzer; Sanjiv Itani; Sam Birch; Calin Belta (ICRA, 2010)