1 paper · 1 filter
Orna Kupferman, Ofer Leshkowitz
In the synthesis problem, we are given a specification, and we automatically generate a system that satisfies the specification in all environments. We introduce and study {\em syn…