Beyond Decisiveness of Infinite Markov Chains

Benoît Barbot, Patricia Bouyer, Serge Haddad

Verification of infinite-state Markov chains is still a challenge despite several fruitful numerical or statistical approaches. For decisive Markov chains, there is a simple numeri…