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…