Mathieu Hilaire

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 4

Top Topics

Pursuit Evasion

Theorem Proving

Reachability Analysis

Pspace Complete

Top Venues

Publications

Alain Finkel, Mathieu Hilaire
Resilience and Home-Space for WSTS. VMCAI (1) (2024)
Stefan Göller, Mathieu Hilaire
Reachability in Two-Parametric Timed Automata with One Parameter Is EXPSPACE-Complete. STACS (2021)
Stefan Göller, Mathieu Hilaire
Reachability in two-parametric timed automata with one parameter is EXPSPACE-complete. CoRR (2020)
Nathann Cohen, Mathieu Hilaire, Nicolas Almeida Martins, Nicolas Nisse, Stéphane Pérennes
Spy-Game on Graphs. FUN (2016)