Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs

DOI10.46298/theoretics.23.1MaRDI QIDQ6566586

Pierre Vandenhove, Patricia Bouyer, Mickael Randour

Publication date: 3 July 2024

Published in: TheoretiCS (Search for Journal in Brave)

zbMATH Keywords

optimal strategies\(\omega\)-regular languagesfinite-memory determinacytwo-player games on graphsinfinite arenas

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Characterizing omega-regularity through finite-memory determinacy of games on infinite graphs