arXiv Artificial Intelligence· Han Bao, Shinsaku Sakaue, Kazuki Watanabe·2026-10-15 12:00· 18 小时前AI 评分17

马尔可夫决策过程安全验证的查询选择：凸分析视角

Convex-Analytic View of Query Selection for Safety Verification of Markov Decision Processes

AI 导读

针对马尔可夫决策过程安全验证中 Watanabe 与 Unno（2026）通过最大欧氏违反度选择权重的查询规则，研究者提出统一框架，以显式选定的误差单位度量违反程度：用外近似与安全区域之间的支撑函数差除以单位支撑函数为方向打分。