Statistics
Publications
1
Citations
17
H-Index
1
Active since
2022
Affiliations
Wonhyuk Choi is an author at Helmholtz Center for Information Security specializing in computational linguistics, language studies, and software design.
Publications per year
2022–2022
1
1
Can reactive synthesis and syntax-guided synthesis be friends?
Wonhyuk Choi, Bernd Finkbeiner, Ružica Piskač et al. · 2022 · 17 citations
1–1 of 1