52 citations · 80 across the 25 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…