Publication:3416167
From MaRDI portal
zbMath1106.60066MaRDI QIDQ3416167
Publication date: 19 January 2007
60J99: Markov processes
Related Items
Extended Laplace principle for empirical measures of a Markov chain, The use of Markov operators to constructing generalised probabilities, Three-valued abstraction for probabilistic systems, Probabilistic model checking of biological systems with uncertain kinetic rates, Verified stochastic methods, Discrete time Markov chains with interval probabilities, Robust topological policy iteration for infinite horizon bounded Markov decision processes, Computing lower and upper expected first-passage and return times in imprecise birth-death chains, Imprecise probability trees: bridging two theories of imprecise probability, Interval Type-2 Fuzzy Markov Chains, Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates