Showing 1 - 1 of 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...
Persistent link: https://www.econbiz.de/10011011331