runtime monitoring

2 items

RESEARCHarXiv CS.LG·25d atrás

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.

machine learning computer vision runtime monitoring formal methods

RESEARCHarXiv CS.LG·26d atrás

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic

Este artigo propõe a Lógica Temporal de Incorporação (ETL) para monitorização em tempo de execução de sistemas autónomos baseados em perceção. A ETL opera diretamente em espaços de incorporação aprendidos, definindo predicados através de distâncias entre incorporações observadas e alvo para capturar conceitos percetivos de alto nível.

temporal logic Autonomous systems machine learning runtime monitoring