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

This paper investigates certified runtime monitoring of past-time signal temporal logic (ptSTL) from visual observations under partial observability. It proposes a reusable monitor that infers safety-relevant quantities from images and provides finite-sample guarantees, leveraging semantic latent representations to certify formulas without per-formula retraining.