10 citations · 10 across the 1 of their papers we have counts for
1 paper
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
The synthesis problem asks to construct a reactive finite-state system from an ω-regular specification. Initial specifications are often unrealizable, which means that there is n…