Olivier Idir

According to our database, Olivier Idir authored at least 5 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Using Games and Universal Trees to Characterise the Nondeterministic Index of Tree Languages.

Olivier Idir, Karoliina Lehtinen

Proceedings of the 52nd International Colloquium on Automata, Languages, and Programming, 2025

On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata.

Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Mostowski Index via extended register games.

Olivier Idir, Karoliina Lehtinen

CoRR, 2024

Explorable Parity Automata.

Emile Hazard, Olivier Idir, Denis Kuperberg

CoRR, 2024

2022

Multi-Robot Weighted Coverage Path Planning: a Solution based on the DARP Algorithm.

Olivier Idir, Alessandro Renzaglia

Proceedings of the 17th International Conference on Control, 2022