Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

Browse the full TACAS paper archive.