A general decomposition of reactivity properties into almost-sure termination obligations yields the first sound and complete supermartingale certificates for almost-sure and epsilon-complete certificates for quantitative omega-regular properties on countably infinite Markov chains.
Necessary and Sufficient Conditions for Recurrence and Transience of Markov Chains, in Terms of Inequalities , urldate =
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Complete Supermartingale Certificates for $\omega$-Regular Properties
A general decomposition of reactivity properties into almost-sure termination obligations yields the first sound and complete supermartingale certificates for almost-sure and epsilon-complete certificates for quantitative omega-regular properties on countably infinite Markov chains.