Visions-basierte Runtime-Überwachung unter variierenden Spezifikationen mittels semantischer latenter Repräsentationen

arXiv:2605.13923v1 Ankündigungstyp: neu Abstract: Wir untersuchen zertifizierte Runtime-Überwachung von Past-Time Signal Temporal Logic (ptSTL) aus visuellen Beobachtungen unter partieller Observabilität. Der Monitor muss sicherheitsrelevante Größen aus Bildern ableiten und Finite-Sample-Garantien bieten, während er…