Christel Baier

Esplora come i Processi Decisionali di Markov aiutano a gestire risultati incerti tenendo in considerazione i rischi.

Scopri come la bisimulazione può semplificare la verifica dei sistemi complessi.

Scopri come i predittori aumentano l'affidabilità dei moderni sistemi adattivi.