
If players are supposed to follow a prescribed strategy profile to reach a target set, and the target is not reached due to a deviation by one player, an outside observer can identify the deviating player.


coremsg

identifying-the-player-responsible-for-deviating-from-a-prescribed-strategy-profile


Identifying the Player Responsible for Deviating from a Prescribed Strategy Profile


title_rewrite


Regular games with imperfect information, despite their nice structural properties and the existence of a finite bisimulation in their information tree, do not admit a similar reduction for the synthesis of randomized strategies as in the case of partial-observation games à la Reif. The synthesis problem for randomized strategies in regular games is decidable for reachability and Büchi objectives, but the reductions that worked in games à la Reif no longer hold.


randomized-strategies-in-regular-games-with-imperfect-information-are-challenging


Randomized Strategies in Regular Games with Imperfect Information Are Challenging
