Joost-Pieter Katoen

Un nuovo modo per controllare se i programmi che usano la casualità funzionano bene.

Questo lavoro parla di strategie naturali e logiche probabilistiche per sistemi multi-agente.

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

Esplorare come combinare obiettivi sicuri e obiettivi soglia nelle decisioni.