On the need for communication in distributed implementations of LTL motion specifications

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]

@inproceedings{KloetzerIBB10,
  title = {On the need for communication in distributed implementations of LTL motion specifications},
  author = {Marius Kloetzer and Sanjiv Itani and Sam Birch and Calin Belta},
  year = {2010},
  doi = {10.1109/ROBOT.2010.5509326},
  url = {http://dx.doi.org/10.1109/ROBOT.2010.5509326},
  researchr = {https://researchr.org/publication/KloetzerIBB10},
  cites = {0},
  citedby = {0},
  pages = {4451-4456},
  booktitle = {IEEE International Conference on Robotics and Automation, ICRA 2010, Anchorage, Alaska, USA, 3-7 May 2010},
  publisher = {IEEE},
}