Statistics
Publications
5
Citations
79
H-Index
5
Active since
2011
Michaël Cadilhac is an author at Université de Montréal specializing in computing, computer science, and finite automata theory.
Publications per year
2011–2024
5
5
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Swen Jacobs, Guillermo A. Pérez, Remco Abraham et al. · arXiv (Cornell University) · 2022 · 18 citations · Full text
1–5 of 5