Positional $\omega$-regular languages

Antonio Casares, Pierre Ohlmann

In the context of two-player games over graphs, a language $L$ is called positional if, in all games using $L$ as winning objective, the protagonist can play optimally using positi…