Davide G. Cavezza | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

András György
43 publications
Dalal Alrajeh
6 publications

research

∙ 10/12/2019

Minimal Assumptions Refinement for GR(1) Specifications

Reactive synthesis is concerned with finding a correct-by-construction c...

0 Davide G. Cavezza, et al. ∙

research

∙ 05/08/2018

A Weakness Measure for GR(1) Formulae

In spite of the theoretical and algorithmic developments for system synt...

0 Davide G. Cavezza, et al. ∙