11 citations · 15 across the 3 of their papers we have counts for
3 papers
cs.LO2014★ 4 cited
Synthesis from Probabilistic Components
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…
cs.LO2011★ 11 cited
Synthesis from Recursive-Components Libraries
Yoad Lustig, Moshe 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" rat…
cs.LO2009
Rational Synthesis
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…