Spy-Game on Graphs. - Nathann Cohen; Mathieu Hilaire; Nicolas Almeida Martins; Nicolas Nisse; Stéphane Pérennes (FUN, 2016)

Parity games and reachability in infinite-state systems with parameters. (Jeux de parité et problème d'accessibilité dans des systèmes à infinité d'états avec paramètres). - Mathieu Hilaire (2022)

Resilience and Home-Space for WSTS. - Alain Finkel; Mathieu Hilaire (VMCAI (1), 2024)

Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete. - Stefan Göller; Mathieu Hilaire (Theory Comput. Syst., 2024)