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

Diese Arbeit untersucht die zertifizierte Laufzeitüberwachung von zeitlicher Signallogik (ptSTL) aus visuellen Beobachtungen unter partieller Beobachtbarkeit. Sie schlägt einen wiederverwendbaren Monitor vor, der sicherheitsrelevante Größen aus Bildern ableitet und Endstichproben-Garantien bietet, wobei semantische latente Repräsentationen verwendet werden, um Formeln ohne formelspezifisches Nachtraining zu zertifizieren.