AI RESEARCH
Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
arXiv CS.LG
•
ArXi:2605.13923v1 Announce Type: new We study certified runtime monitoring of past-time signal temporal logic (ptSTL) from visual observations under partial observability. The monitor must infer safety-relevant quantities from images and provide finite-sample guarantees, while being \emph{reusable}: once trained and calibrated, it should certify any formula in a target fragment without per-formula re