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

This paper introduces Embedding Temporal Logic (ETL) for runtime monitoring of perception-based autonomous systems. ETL operates directly in learned embedding spaces, defining predicates through distances between observed and target embeddings to capture high-level perceptual concepts.