• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Quantitative Timed Analysis of Interactive Markov Chains.

Dennis GuckTingting HanJoost-Pieter KatoenMartin R. Neuhäußer
Published in: NASA Formal Methods (2012)
Keyphrases
  • markov chain
  • steady state
  • monte carlo
  • finite state
  • transition probabilities
  • least squares
  • markov processes
  • data mining
  • state space
  • sufficient conditions
  • monte carlo simulation
  • stationary distribution