HALF-POSITIONAL OBJECTIVES RECOGNIZED BY DETERMINISTIC BÜCHI AUTOMATA. - BOUYER, PATRICIA; CASARES, ANTONIO; RANDOUR, MICKAEL; VANDENHOVE, PIERRE (Logical Methods in Computer Science (LMCS), 2024)