RESEARCHarXiv CS.LG·il y a 25j
Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
Cet article étudie la surveillance certifiée en temps réel de la logique temporelle de signal (ptSTL) à partir d'observations visuelles sous observabilité partielle. Il propose un moniteur réutilisable qui déduit des quantités pertinentes pour la sécurité à partir d'images et fournit des garanties d'échantillon fini, en utilisant des représentations latentes sémantiques pour certifier des formules sans réapprentissage par formule.
28