When are Stochastic Transition Systems Tameable?

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye +1

A decade ago, Abdulla, Ben Henda and Mayr introduced the elegant concept of decisiveness for denumerable Markov chains [1]. Roughly speaking, decisiveness allows one to lift most g…