Login / Signup

Can reactive synthesis and syntax-guided synthesis be friends?

Wonhyuk Choi
Published in: SPLASH (Companion) (2021)
Keyphrases
  • program synthesis
  • functional decomposition
  • neural network
  • real world
  • computer vision
  • information systems
  • medical images