Login / Signup

Three-Valued Abstraction for Continuous-Time Markov Chains.

Joost-Pieter KatoenDaniel KlinkMartin LeuckerVerena Wolf
Published in: CAV (2007)
Keyphrases
  • continuous time markov chains
  • markov processes
  • poisson distribution
  • numerically stable
  • feature space
  • linear programming
  • random fields