Runtime Verification 2026

Speaker

Elina Sudit

Talks at this conference:
 Thu, 12:00 Quantitative Refinement of Objectives: Runtime Consultants and Path Planning ! Live

 Overview

Sponsored by:

Formal Methods Europe