@article{theoretics:10814,
    Author = {Bouyer, Patricia and Randour, Mickael and Vandenhove, Pierre},
    File = {Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs - a.pdf},
    Journal = {{TheoretiCS}},
    Keywords = {Computer Science - Computer Science and Game Theory ; Computer Science - Formal Languages and Automata Theory ; Computer Science - Logic in Computer Science},
    Month = {January},
    Title = {{Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs}},
    URL = {https://theoretics.episciences.org/10814},
    Volume = {{Volume 2}},
    Year = {2023},
    bdsk-url-1 = {https://theoretics.episciences.org/10814},
    bdsk-url-2 = {https://doi.org/10.46298/theoretics.23.1},
    date-added = {2023-01-20 08:25:54 +0100},
    date-modified = {2023-01-20 08:25:54 +0100},
    doi = {10.46298/theoretics.23.1}
}

@article{theoretics:10814, Author = {Bouyer, Patricia and Randour, Mickael and Vandenhove, Pierre}, File = {Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs - a.pdf}, Journal = {{TheoretiCS}}, Keywords = {Computer Science - Computer Science and Game Theory ; Computer Science - Formal Languages and Automata Theory ; Computer Science - Logic in Computer Science}, Month = {January}, Title = {{Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs}}, URL = {https://theoretics.episciences.org/10814}, Volume = {{Volume 2}}, Year = {2023}, bdsk-url-1 = {https://theoretics.episciences.org/10814}, bdsk-url-2 = {https://doi.org/10.46298/theoretics.23.1}, date-added = {2023-01-20 08:25:54 +0100}, date-modified = {2023-01-20 08:25:54 +0100}, doi = {10.46298/theoretics.23.1} }