Half-positional objectives recognized by deterministic Büchi automata

DOI10.4230/lipics.concur.2022.20MaRDI QIDQ6587128

Pierre Vandenhove, Patricia Bouyer, Unnamed Author, Mickael Randour

Publication date: 13 August 2024

zbMATH Keywords

Büchi automatatwo-player games on graphs\(\omega\)-regularityhalf-positionalitymemoryless optimal strategies

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Half-positional objectives recognized by deterministic Büchi automata