Positionality in {\Sigma} _0^ 2 and a completeness result
P Ohlmann, M Skrzypczak - arXiv preprint arXiv:2309.17022, 2023 - arxiv.org
We study the existence of positional strategies for the protagonist in infinite duration games
over arbitrary game graphs. We prove that prefix-independent objectives in {\Sigma} _0^ 2 …
over arbitrary game graphs. We prove that prefix-independent objectives in {\Sigma} _0^ 2 …