TY  - RPRT
TI  - Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications
AU  - Yushan Chen
AU  - Xu Chu Ding
AU  - Calin Belta
PY  - 2011
UR  - https://arxiv.org/abs/1109.1251
ID  - 1109.1251
ER  -