@misc{indiciaeb52f6d23eaab, title = {Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs}, author = {Patricia Bouyer and Mickael Randour and Pierre Vandenhove}, year = {2023}, doi = {10.46298/theoretics.23.1}, url = {https://arxiv.org/abs/2110.01276}, note = {Source identifier: 2110.01276} }