LTL 安全不變式

深度分析

Glass Box：CubeSat 軌道 AI 的憲法式執行驗證框架與效能分析

隨著軌道雲端運算興起，AI 工作負載在低軌道自主執行缺乏即時治理。Glass Box 於每筆 AI 決策前檢查六項物理憲法限制與七條 LTL 安全不變式，並回傳可解釋分數與審核日誌。實驗顯示其驗證開銷與條目數呈線性關係，為未來軌道 AI 安全基礎設施奠定基礎。