Introduces and implements confidence sequences for online statistical model checking of MDPs that require 50x fewer samples than prior state-of-the-art union-bound approaches.
In: TACAS (to appear, preprint available athttps://arxiv.org/pdf/2411.00559)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Confidence Sequences for Online Statistical Model Checking of Markov Decision Processes
Introduces and implements confidence sequences for online statistical model checking of MDPs that require 50x fewer samples than prior state-of-the-art union-bound approaches.