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

Proposes certified runtime monitoring of past-time signal temporal logic (ptSTL) from visual observations under partial observability, proving semantic basis (atom robustness scores) is minimum reusable prediction target for formula-agnostic certification.