Login / Signup

APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.

Thomas HéraultRichard LassaigneSylvain Peyronnet
Published in: QEST (2006)
Keyphrases
  • continuous time markov chains
  • markov processes
  • stochastic processes
  • markov chain
  • markov process
  • numerically stable
  • probability distribution
  • random fields
  • state space
  • poisson distribution