TY  - RPRT
TI  - Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs
AU  - Patricia Bouyer
AU  - Mickael Randour
AU  - Pierre Vandenhove
PY  - 2023
DO  - 10.46298/theoretics.23.1
UR  - https://arxiv.org/abs/2110.01276
ID  - 2110.01276
ER  -