Christel Baier

Un nuovo modo per misurare la responsabilità nei modelli di intelligenza artificiale usando la teoria dei giochi.

Quest'articolo parla di come usare certificati e testimoni per verificare le query multi-obiettivo negli MDP.

Uno sguardo su come le funzioni di peso possono migliorare l'analisi dei sistemi dinamici lineari.

Questo articolo presenta una nuova prospettiva sull'analisi delle catene di Markov attraverso i trasformatori di distribuzione.

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.