-
Mauricio Castillo-Effen (Lockheed Martin Fellow)
Talk title: From Runtime Verification to Runtime Assurance: Architectural Patterns for Learning-Enabled Autonomy
-
Ruzica Piskac (Professor, Yale University)
Talk title: Towards Private Runtime Verification: Foundations of Privacy-Preserving Automated Reasoning
-
Jean-Baptiste Tristan (Principal Applied Scientist at AWS)
Talk title: Who Watches the Agents? Runtime Verification for Agentic AI Safety
-
Hazem Torfah (Assistant Professor, Chalmers University of Technology)
Talk title: Designing Assured AI-Based Autonomy: A Runtime Verification Perspective
