Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic
arXiv:2605.12651v1 Announce Type: new Abstract: Runtime monitoring of autonomous systems traditionally relies on mapping continuous sensor observations to discrete logical propositions defined over lo