Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs
From MaRDI portal
Publication:6490967
DOI10.4230/LIPICS.STACS.2022.16MaRDI QIDQ6490967
Patricia Bouyer, Pierre Vandenhove, Mickael Randour
Publication date: 23 April 2024
optimal strategies\(\omega\)-regular languagesfinite-memory determinacytwo-player games on graphsinfinite arenas
Related Items (1)
This page was built for publication: Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs
