most citedThe Complexity of Synthesizing Uniform Strategies

5 citations

researchers with a paper here
collaborating institutions

1 paper

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…