Davide G. Cavezza
Identifiers
No identifiers captured yet.
Papers (2)
- A Weakness Measure for GR(1) Formulae cs.LO · 2018 · author #1
- Interpolation-Based GR(1) Assumptions Refinement cs.LO · 2016 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Dalal Alrajeh 2 shared papers
- Andr\'as Gy\"orgy 1 shared papers