SynTM: Synthesis of Teamwork Multi-Agent Systems

The increasing adoption of robots in industry creates a demand to enable robots to interact in order to form teamwork Multi-Agent Systems (MAS) - a set of collaborative agents that interact and behave as if they were a single capable agent, pursuing a set of joint goals.

Teamwork MAS are important because of workload sharing and the fact that the capabilities of a team exceed the ones of an individual. Correct-by-design techniques that ensure their safety and reliability are emerging, but are not that advanced.

Namely, Reactive Synthesis - the auto-production of correct programs from declarative specifications - is a viable candidate. It permits producing robust programs with assurances on correctness and guarantees on meeting design goals.

However, reactive synthesis can only be used to produce either individual robots or co-existing ones that are not collaborative.SynTM will extend reactive synthesis to enable the development of teamwork MAS.

This is important because correct-by-design teamwork MAS will revolutionize our lives if successfully employed in safety critical systems, e.g., smart factories and autonomous driving.To pursue our goal, we plan to develop: an interaction formalism with novel concepts for contextual and coordination events; an interaction-aware specification logic that generalizes reactivity; synthesis algorithms that produce interacting programs from logical specifications; and tools for analysis, implementation, and to evaluate the generated code.