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

Dieser Artikel stellt Embedding Temporal Logic (ETL) zur Laufzeitüberwachung wahrnehmungsbasierter autonomer Systeme vor. ETL arbeitet direkt in gelernten Einbettungsräumen und definiert Prädikate durch Abstände zwischen beobachteten und Ziel-Embeddings, um hochrangige perzeptuelle Konzepte zu erfassen.