Kim Guldstrand Larsen

Explore how Runtime Verification aids in checking system performance through event traces.

A new framework improves safety in self-driving cars through formal methods.

A new approach to managing voltage in power systems using Gumbel-Consistency Digital Twin.