Table of Contents 1. Introduction & Project Alignment 2. Understanding the Runtime Verification Problem Runtime State vs. Actual Runtime Impact Observational Ambiguity & Causality Boundaries Deterministic vs. Inconclusive Verdicts