Statistics
Publications
3
Citations
49
H-Index
3
Active since
2019
Affiliations
DePaul University(Current)
Thibaud Michaud is an author at DePaul University specializing in reactive systems, reaction engineering, and compilers.
Publications per year
2019–2024
3
3
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–3 of 3