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

Este artículo estudia el monitoreo certificado en tiempo de ejecución de la lógica temporal de señal (ptSTL) a partir de observaciones visuales bajo observabilidad parcial. Propone un monitor reutilizable que infiere cantidades relevantes para la seguridad a partir de imágenes y proporciona garantías de muestra finita, utilizando representaciones latentes semánticas para certificar fórmulas sin reentrenamiento por fórmula.