Runtime Monitoring von wahrnehmungsgesteuerten autonomen Systemen via eingebettete temporale Logik

arXiv:2605.12651v1 Ankündigungstyp: neu Abstract: Runtime Monitoring autonomer Systeme verlässt sich traditionell auf die Zuordnung kontinuierlicher Sensorbeobachtungen zu diskreten logischen Aussagen, definiert über niedrigdimensionale Zustandsvariablen. Diese Abstraktion bricht in wahrnehmungsgesteuerten Einstellungen zusammen, wo