Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann +1

We study the accurate and efficient computation of the expected number of times each state is visited in discrete- and continuous-time Markov chains. To obtain sound accuracy guara…