1 citations · 2 across the 2 of their papers we have counts for
1 paper · 2 filters
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…