10 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.LO2010★ 5 cited
Measuring and Synthesizing Systems in Probabilistic Environments
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann +1
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order…
cs.GT2008★ 10 cited
Environment Assumptions for Synthesis
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…