{"id":"arxiv/2610.17541","url":"https://arxiv.org/abs/2610.17541","tags":["math.OC","cs.AI","cs.LO"],"score":0,"title":"Convex-Analytic View of Query Selection for Safety Verification of Markov Decision Processes","domain":"math.OC","source":"arxiv","authors":["Han Bao","Shinsaku Sakaue","Kazuki Watanabe"],"reviews":0,"subject":"math.OC","summary":"Safety verification of a Markov decision process (MDP) asks whether the probabilities of reaching several failure states jointly lie in a convex safe region under every scheduler. Watanabe and Unno (2026) prove safety by refining an outer approximation of the failure probabilities, where each query bounds a nonnegative weighted sum of the probabilities. Their rule selects weights by the largest Euclidean violation. We present a unified framework to measure violation in an explicitly chosen error unit: directions are scored by the support-function gap between the outer approximation and the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-13","reactions":{}}