75 citations · 280 across the 41 of their papers we have counts for
1 paper · 1 filter
Susmit Jha, Sanjit A. Seshia
Formal synthesis is the process of generating a program satisfying a high-level formal specification. In recent times, effective formal synthesis methods have been proposed based o…