171 citations · 497 across the 31 of their papers we have counts for
1 paper · 2 filters
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger +1
We study observation-based strategies for two-player turn-based games on graphs with omega-regular objectives. An observation-based strategy relies on imperfect information about t…