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.