Mathieu Hilaire

According to our database, Mathieu Hilaire authored at least 4 papers between 2016 and 2024.

Collaborative distances:

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

2024

Resilience and Home-Space for WSTS.

Alain Finkel, Mathieu Hilaire

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2022

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

PhD thesis, 2022

2021

Reachability in Two-Parametric Timed Automata with One Parameter Is EXPSPACE-Complete.

Stefan Göller, Mathieu Hilaire

Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021

2016

Spy-Game on Graphs.

Nathann Cohen, Mathieu Hilaire, Nicolas Almeida Martins, Nicolas Nisse, Stéphane Pérennes

Proceedings of the 8th International Conference on Fun with Algorithms, 2016