11 citations · 15 across the 3 of their papers we have counts for
1 paper · 2 filters
Sumit Nain, Yoad Lustig, Moshe Y Vardi
Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms, it is always assumed that the system is "constructed from scratch" ra…