Casares, Antonio

1 publications

IJCAI 2023 Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract) Patricia Bouyer, Antonio Casares, Mickael Randour, Pierre Vandenhove