Runtime Verification上級
高レベルロボット計画の安全判定が実行時不安全を見落とすrefinement gap、RoboGuardとSPINEで監査
本プレプリントは、ロボットの高レベル行動計画を検証する安全モニタが、グラフ上の経路や暗黙の行動効果を確認しないまま安全と判定するrefinement gapを監査した。制御された28ケース中12ケースで表面計画は安全、グラフ精緻化後は不安全となり、エンドツーエンド14ケースでもSPINEが目的地のみを提示した2ケースで同じ見落としを確認した。グラフ由来の実行トレースを検証前に展開する軽量な緩和策を提案し、形式検証と実APIのずれを診断する材料を提供する。