KI und die schwierigen Probleme der Welt · Theoretische Informatik · arXiv · 2026-10-21
Jederzeit valide Laufzeitüberwachung gelernter Barrierenzertifikate
Originaltitel: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
Gelernte Barrierenzertifikate für stochastische Systeme können im Einsatz ihre Gültigkeit verlieren, wenn die zugrunde liegenden Dynamiken vom Training abweichen. Die Autoren schlagen einen anytime-valid-Laufzeitmonitor vor, der das Zertifikat anhand beobachteter Regelkreistrajektorien auditiert und Barrierendrift als episodeweisen sequenziellen Hypothesentest formuliert, dessen Zuwächse ein nichtnegatives Test-Supermartingal bilden, was eine Fehlalarmkontrolle mit endlichen Stichproben unter beliebigen Stoppzeiten ermöglicht. Der Monitor erkennt statistische Evidenz dafür, dass das Zertifikat nicht mehr zu den beobachteten Dynamiken passt — statt einen unsicheren Eintritt vorherzusagen — und sein Alarmverhalten wurde unter gültigen und ungültigen Zertifikaten evaluiert.