Half-Positional Objectives Recognized by Deterministic Bchi Automata.

Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove

Browse the full CONCUR paper archive.