Login / Signup
Finite horizon analysis of Markov Chains with the Murphi verifier.
Giuseppe Della Penna
Benedetto Intrigila
Igor Melatti
Enrico Tronci
Marisa Venturini Zilli
Published in:
Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
</>
markov chain
finite horizon
optimal policy
markov process
steady state
markov model
transition probabilities
probabilistic automata
state space
stochastic process
markov processes
finite state
infinite horizon
stationary distribution
single product
transition matrix