ETL: Runtime Monitoring via Embedding Temporal Logic
A temporal logic framework for runtime monitoring of perception-based autonomous systems directly in learned embedding spaces, without discrete state abstraction.
A temporal logic framework for runtime monitoring of perception-based autonomous systems directly in learned embedding spaces, without discrete state abstraction.