New hierarchy of supermartingales yields strictly stronger certificates for almost-sure omega-regular verification of Markov chains, including completeness results for positive and null recurrence plus a practical synthesis algorithm.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Hierarchy of Supermartingales for $\omega$-Regular Verification
New hierarchy of supermartingales yields strictly stronger certificates for almost-sure omega-regular verification of Markov chains, including completeness results for positive and null recurrence plus a practical synthesis algorithm.