1
Publications
18
Citations
1
H-Index
2022
Active since
Publications per year
2022–2022
1
1
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
Rows per page
1–1 of 1