114 citations · 277 across the 33 of their papers we have counts for
1 paper · 1 filter
Hadas Kress-Gazit, Hazem Torfah
In formal synthesis of reactive systems an implementation of a system is automatically constructed from its formal specification. The great advantage of synthesis is that the resul…