DailyInfo Summary
该工作从凸分析视角刻画马尔可夫决策过程安全验证中的查询选择问题，为更高效且可解释的验证查询策略提供了理论框架。
Original Source
摘要用于研究导航；结论、版本与引用信息请以原始来源为准。
技术信息
Stable ID: arxiv-2610.17541
Canonical URL: https://iheadwater.github.io/dailyinfo-web/arxiv/arxiv-2610.17541/
arXiv
Convex-Analytic View of Query Selection for Safety Verification of Markov Decision Processes
Original Evidence
- Source
- arxiv_cs_ai（外部链接）
- Published
- Technical ID
2610.17541