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

Cet article propose la Logique Temporelle d'Intégration (ETL) pour la surveillance en temps réel des systèmes autonomes basés sur la perception. L'ETL opère directement dans des espaces d'intégration appris, définissant des prédicats par des distances entre les intégrations observées et cibles pour capturer des concepts perceptuels de haut niveau.