Mind the Refinement Gap: RoboGuard übersieht unsichere Ausführungsrouten
Der Preprint untersucht, ob Sicherheitsurteile von RoboGuard über High-Level-Aktionsspuren gültig bleiben, wenn graph-induzierte Navigation und implizite Aktionseffekte explizit gemacht werden. In 28 kontrollierten Fällen akzeptierte RoboGuard alle 12 gezielten Abstraktionsfälle, obwohl die verfeinerte Spur einen verbotenen Bereich durchquerte, während alle 16 Kontrollen korrekt waren. Die Ergebnisse zeigen, dass eine deterministische Spurverfeinerung aus dem semantischen Graphen nötig ist, um false-safe Sicherheitsurteile zu vermeiden.