Reproduce “Convex-Analytic View of Query Selection for Safety Verification of Markov Decision Processes” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Han Bao, Shinsaku Sakaue, Kazuki Watanabe
The authors generalize query selection for verifying that a system’s vector of failure probabilities remains within a safe region for every scheduler. Their method scores directions using a normalized support gap, with Euclidean, cube, or safe-region-based error units. In 24 cases, the gauge rule reduced query-selection time and runtime on expected-safe instances; this preliminary result is not a universal guarantee.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.