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

Este artigo explora o monitoramento certificado em tempo de execução de lógica temporal de sinal (ptSTL) a partir de observações visuais sob observabilidade parcial. Ele propõe um monitor reutilizável que infere quantidades de segurança a partir de imagens e oferece garantias de amostra finita, utilizando representações latentes semânticas para certificar fórmulas sem retreinamento por fórmula.