h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Mertens, Hannah
%A Katoen, Joost-Pieter
%A Quatmann, Tim
%A Winkler, Tobias
%T Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
%J Journal of automated reasoning
%V 69
%N 3
%@ 1573-0670
%C Dordrecht [u.a.]
%I Springer Science + Business Media B.V.
%M RWTH-2025-07439
%P 23
%D 2025
%F PUB:(DE-HGF)16
%9 Journal Article
%U <Go to ISI:>//WOS:001552725700001
%R 10.1007/s10817-025-09736-7
%U https://publications.rwth-aachen.de/record/1017608