30 citations · 81 across the 11 of their papers we have counts for
1 paper · 2 filters
Dana Fisman, Orna Kupferman, Yoad Lustig
Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems often interact…