Davide G. Cavezza | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

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. ∙