1 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LO2019★ 1 cited
Minimal Assumptions Refinement for GR(1) Specifications
Davide G. Cavezza, Dalal Alrajeh, Andras Gyorgy
Reactive synthesis is concerned with finding a correct-by-construction controller from formal specifications, typically expressed in Linear Temporal Logic (LTL). The specifications…
cs.LO2018
A Weakness Measure for GR(1) Formulae
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…
cs.LO2016★ 1 cited
Interpolation-Based GR(1) Assumptions Refinement
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…