Mathieu Hilaire

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete.
Theory Comput. Syst., August, 2024

Resilience and Home-Space for WSTS.
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).
PhD thesis, 2022

2016
Spy-Game on Graphs.
Proceedings of the 8th International Conference on Fun with Algorithms, 2016


  Loading...