Login / Signup
Hannah Mertens
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Steady State
Transition Probabilities
Queue Length
Markov Processes
Top Venues
CoRR
TACAS (2)
</>
Publications
</>
Hannah Mertens
,
Joost-Pieter Katoen
,
Tim Quatmann
,
Tobias Winkler
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.
CoRR
(2024)
Hannah Mertens
,
Joost-Pieter Katoen
,
Tim Quatmann
,
Tobias Winkler
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.
TACAS (2)
(2024)