Login / Signup

: an Expressive Logic for Continuous-Time Markov Chains.

Susanna DonatelliSerge HaddadJeremy Sproston
Published in: QEST (2007)
Keyphrases
  • continuous time markov chains
  • markov processes
  • poisson distribution
  • modal logic
  • sufficient conditions
  • numerically stable
  • image segmentation
  • probabilistic model
  • markov chain
  • multi valued