Kim Guldstrand Larsen

Esplora come la Verifica al Runtime aiuti a controllare le prestazioni del sistema attraverso le tracce degli eventi.

Un nuovo framework migliora la sicurezza nelle auto a guida autonoma grazie a metodi formali.

Un nuovo modo di gestire la tensione nei sistemi elettrici usando il Digital Twin Gumbel-Consistency.