"Characterizing Omega-Regularity through Finite-Memory Determinacy of Games ..."

Patricia Bouyer, Mickael Randour, Pierre Vandenhove (2023)

Details and statistics

DOI: 10.46298/THEORETICS.23.1

access: open

type: Journal Article

metadata version: 2023-09-30

a service of  Schloss Dagstuhl - Leibniz Center for Informatics