h1

h2

h3

h4

h5
h6
TY  - JOUR
AU  - Mertens, Hannah
AU  - Katoen, Joost-Pieter
AU  - Quatmann, Tim
AU  - Winkler, Tobias
TI  - Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate
JO  - Journal of automated reasoning
VL  - 69
IS  - 3
SN  - 1573-0670
CY  - Dordrecht [u.a.]
PB  - Springer Science + Business Media B.V.
M1  - RWTH-2025-07439
SP  - 23
PY  - 2025
LB  - PUB:(DE-HGF)16
UR  - <Go to ISI:>//WOS:001552725700001
DO  - DOI:10.1007/s10817-025-09736-7
UR  - https://publications.rwth-aachen.de/record/1017608
ER  -