Showing 2026Show all
3 papers · 1 filter
math.OC2026
Convex-Analytic View of Query Selection for Safety Verification of Markov Decision Processes
Han Bao, Shinsaku Sakaue, Kazuki Watanabe
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.…
cs.LO2026
Specification-Guided Path Shortcutting for Efficient Probabilistic Model Checking
Tsubasa Matsumoto, Kazuki Watanabe, Masaki Waga
Given the safety-critical nature of many embedded systems, their safety assurance is essential. Because such systems are typically stochastic, probabilistic model checking is a par…
cs.LO2026
From Coalgebraic Determinization to Belief Construction for Partial Observability
Mayuko Kori, Kazuki Watanabe
The belief construction is a fundamental technique for transforming partially observable systems to fully observable ones while preserving the relevant semantics. It plays a centra…