runtime monitoring

2 items

RESEARCHarXiv CS.LG·hace 26d

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.

machine learning computer vision runtime monitoring formal methods

RESEARCHarXiv CS.LG·hace 27d

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

Este artículo propone la Lógica Temporal de Incrustación (ETL) para la monitorización en tiempo de ejecución de sistemas autónomos basados en la percepción. ETL opera directamente en espacios de incrustación aprendidos, definiendo predicados a través de distancias entre incrustaciones observadas y objetivo para capturar conceptos perceptivos de alto nivel.

temporal logic Autonomous systems machine learning runtime monitoring