Monotone iterative methods for Markov chains Original Research Article

This paper deals with monotone iterative methods for the computation of the steady-state probability vector of irreducible Markov chains. The emphasis is laid on verification techniques aiming at deriving, from an approximation, true bounds on the solution.