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.
NeurIPS , year =
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.