Synthesis of coordination programs from linear temporal logic

Suguman Bansal, Kedar S. Namjoshi, Yaniv Sa'ar

This paper presents a method for synthesizing a reactive program which coordinates the actions of a group of other reactive programs, so that the combined system satisfies a tempor…