3 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
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…