Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
AI monitors visual data for safety under varying rules
Researchers develop a system to infer safety-relevant quantities from images with finite-sample guarantees. The model uses semantic latent representations to monitor past-time signal temporal logic (ptSTL) formulas without retraining for new specifications. Key challenge: partial observability from visual inputs.