Login / Signup
Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier.
Giuseppe Della Penna
Benedetto Intrigila
Igor Melatti
Enrico Tronci
Marisa Venturini Zilli
Published in:
CHARME (2003)
Keyphrases
</>
markov chain
finite horizon
steady state
finite state
markov processes
multistage
markov decision processes
transition probabilities
random walk
infinite horizon
markov process