Il progetto si occupa d'investigare metodi formali nella progettazione di sistemi discreti e ibridi (ciberfisici).
In particolare s'investigano algoritmi per la verifica formale di sistemi e la sintesi corretta per costruzione di controllori di sistemi ingegneristici.