11 citations · 16 across the 3 of their papers we have counts for
3 papers · 1 filter
The Complexity of Synthesizing Uniform Strategies
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
We investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not μ-calculus definable. T…
Uniform Strategies
Bastien Maubert, Sophie Pinchinat
We consider turn-based game arenas for which we investigate uniformity properties of strategies. These properties involve bundles of plays, that arise from some semantical motive.…
Opacity Issues in Games with Imperfect Information
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
We study in depth the class of games with opacity condition, which are two-player games with imperfect information in which one of the players only has imperfect information, and w…