Multi-Robot Weighted Coverage Path Planning: a Solution based on the DARP Algorithm. - Olivier Idir; Alessandro Renzaglia (ICARCV, 2022)

Explorable Parity Automata. - Emile Hazard; Olivier Idir; Denis Kuperberg (CoRR, 2024)

Mostowski Index via extended register games. - Olivier Idir; Karoliina Lehtinen (CoRR, 2024)

On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata. - Antonio Casares; Olivier Idir; Denis Kuperberg; Corto Mascle; Aditya Prakash 002 (CSL, 2025)

Using Games and Universal Trees to Characterise the Nondeterministic Index of Tree Languages. - Olivier Idir; Karoliina Lehtinen (ICALP, 2025)