Runtime-monitoring van perceptiegebaseerde autonome systemen via ingebedde temporele logica

arXiv:2605.12651v1 Aankondigingstype: nieuw Samenvatting: Runtime-monitoring van autonome systemen vertrouwt traditioneel op het in kaart brengen van continue sensorobservaties aan discrete logische proposities die zijn gedefinieerd over laag-dimensionale toestandsvariabelen. Deze abstractie mislukt in perceptiegestuurde omgevingen, waar dergelijke mappings aanvullende geleerde modules vereisen die vaak computationeel duur, broos en semantisch verkeerd uitgelijnd zijn. In dit werk stellen we Embedding Temporal Logic (ETL) voor, een temporele logica