Skip to content
Sagan

Paper

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

Unreadunread

AI summary

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 low-dimensional state variables.