Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations

Overview

The authors develop reusable visual monitors for temporal-logic specifications, using semantic robustness representations and conformal calibration. Pedestrian-crossroad and Waymo evaluations compare certified bounds against an alternative that reconstructs temporal history online.