Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs.

Patricia Bouyer, Mickael Randour, Pierre Vandenhove

Browse the full STACS paper archive.