Half-Positional Objectives Recognized by Deterministic Bchi Automata (Extended Abstract).

Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove

Browse the full IJCAI paper archive.