IVEX driving-safety models, assessment and trajectory checking

Overview

Mario Torres introduces the company’s tool architecture for expressing safety policies as formal models and finding violations in simulated or recorded driving. The slides distinguish offline assessment, in-vehicle trajectory checking and model consistency/completeness analysis.