We propose Teamwork Synthesis, a version of the distributed synthesis problem with application to teamwork multi-agent systems. We reformulate the distributed synthesis question by dropping the fixed interaction architecture among agents as input to the problem. Instead, our synthesis engine tries to realise the goal given the initial specifications; otherwise it automatically introduces minimal interactions among agents to ensure distribution. Thus, teamwork synthesis mitigates a key difficulty in deciding algorithmically how agents should interact so that each obtains the required information to fulfil its goal. We show how to apply teamwork synthesis to provide a distributed solution.

翻译：我们提出团队协作综合（Teamwork Synthesis），这是一种针对多智能体系统协作问题的分布式综合问题变体。我们通过移除智能体间固定交互架构作为问题输入的方式，重新阐述了分布式综合问题。取而代之的是，我们的综合引擎试图根据初始规范实现目标；否则，它会自动在智能体间引入最小交互以确保分布式实现。因此，团队协作综合缓解了在算法层面决定智能体应如何交互才能各自获取所需信息以实现目标这一关键难题。我们展示了如何应用团队协作综合来提供分布式解决方案。