@misc{indiciae1cb771629136,
  title = {Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications},
  author = {Yushan Chen and Xu Chu Ding and Calin Belta},
  year = {2011},
  url = {https://arxiv.org/abs/1109.1251},
  note = {Source identifier: 1109.1251}
}