P. Vandenhove

Characterizing Omega-Regularity through Finite-Memory Determinacy of Games on Infinite Graphs

P. Bouyer, Mickael Randour, P. Vandenhove, 2021, STACS.

Half-Positional Objectives Recognized by Deterministic Büchi Automata

P. Bouyer, Mickael Randour, P. Vandenhove, 2022, ArXiv.

Games Where You Can Play Optimally with Arena-Independent Finite Memory

Stéphane Le Roux, P. Bouyer, Y. Oualhadj, 2020, CONCUR.

Half-Positional Objectives Recognized by Deterministic Büchi Automata

P. Bouyer, Mickael Randour, P. Vandenhove, 2022, ArXiv.