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.