Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications

Yushan Chen, Xu Chu Ding, Calin Belta

We introduce a technique for synthesis of control and communication strategies for a team of agents from a global task specification given as a Linear Temporal Logic (LTL) formula…