Can reactive synthesis and syntax-guided synthesis be friends?

Wonhyuk Choi Bernd Finkbeiner Ruzica Piskac Mark Santolucito

Published in: PLDI (2022)

Keyphrases

database
program synthesis
real time
artificial intelligence
high level
video sequences
facial expressions