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

arXiv:2610.17541v1 Announce Type: cross Abstract: 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