Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
arXiv:2605.13923v1 Announce Type: cross
Abstract: 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 …