Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and AccurateHannah Mertens, Tobias Winkler|Journal of Automated Reasoning|2025Cited by 3