runtime monitoring

2 items

RESEARCHarXiv CS.LG·26d ago

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations

This paper investigates certified runtime monitoring of past-time signal temporal logic (ptSTL) from visual observations under partial observability. It proposes a reusable monitor that infers safety-relevant quantities from images and provides finite-sample guarantees, leveraging semantic latent representations to certify formulas without per-formula retraining.

machine learning computer vision runtime monitoring formal methods

RESEARCHarXiv CS.LG·27d ago

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.

temporal logic Autonomous systems machine learning runtime monitoring