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