Lmcs2024

New accepted paper: Half-Positional Objectives Recognized by Deterministic Büchi Automata, in Logical Methods in Computer Science.