171 citations · 497 across the 31 of their papers we have counts for
1 paper · 2 filters
Krishnendu Chatterjee, Laurent Doyen, Moshe Y. Vardi
The synthesis problem asks for the automatic construction of a system from its specification. In the traditional setting, the system is "constructed from scratch" rather than compo…