Antonio Casares

Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract)

In two-player zero-sum games on graphs, the protagonist tries to achieve an objective while the antagonist aims to prevent it. Objectives for which both players do not need to use memory to play optimally are well-understood and characterized both in finite and infinite graphs. Less is known about t…