Login / Signup
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.
Hannah Mertens
Joost-Pieter Katoen
Tim Quatmann
Tobias Winkler
Published in:
TACAS (2) (2024)
Keyphrases
</>
stationary distribution
markov chain
markov process
steady state
random walk
transition probabilities
product form
finite state
state dependent
state space
markov model
stochastic process
markov processes
sufficient conditions
queue length
learning algorithm
non stationary
optimal solution