11 citations · 16 across the 3 of their papers we have counts for
3 papers
cs.GT2013★ 5 cited
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…
cs.GT2012
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.…
cs.GT2011★ 11 cited
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…