4 citations · 7 across the 14 of their papers we have counts for
1 paper · 1 filter
Davide G. Cavezza, Dalal Alrajeh
This paper considers the problem of assumptions refinement in the context of unrealizable specifications for reactive systems. We propose a new counterstrategy-guided synthesis app…