752 search results - page 5 / 151 » A Markov Chain Model Checker |
MMAS
2010
Springer
13 years 2 months ago
2010
Springer
We analyze the performance of the novel Markov chain stochastic modeling technique for derivation of effective equations for a set of essential variables. This technique is an empi...
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
CSDA
2007
13 years 7 months ago
2007
The knowledge of the state sequences that explain a given observed sequence for a known hidden Markovian model is the basis of various methods that may be divided into three categ...
STACS
2005
Springer
14 years 28 days ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
FOCS
2000
IEEE
13 years 12 months ago
2000
IEEE
For many probability distributions of interest, it is quite difficult to obtain samples efficiently. Often, Markov chains are employed to obtain approximately random samples fro...