MAUBERT, BASTIEN; PINCHINAT, SOPHIE - In: International Game Theory Review (IGTR) 16 (2014) 01, pp. 1440004-1
We consider two-player turn-based game arenas for which 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. Typically, we can represent constraints on allowed...