Runtime Verification 2026

Speaker

Hazem Torfah

Talks at this conference:
 Tue, 9:00 Designing Assured AI-Based Autonomy: A Runtime Verification Perspective ! Live

 Overview

Sponsored by:

Formal Methods Europe