Login / Signup

Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier.

Giuseppe Della PennaBenedetto IntrigilaIgor MelattiEnrico TronciMarisa 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