Environment Assumptions for Synthesis

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann

The synthesis problem asks to construct a reactive finite-state system from an $\omega$-regular specification. Initial specifications are often unrealizable, which means that there is n…