1 citations · 2 across the 2 of their papers we have counts for
1 paper · 2 filters
Davide G. Cavezza, Dalal Alrajeh, András György
In spite of the theoretical and algorithmic developments for system synthesis in recent years, little effort has been dedicated to quantifying the quality of the specifications use…