5 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
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…