The following pages link to (Q3416167):
Displaying 11 items.
- The use of Markov operators to constructing generalised probabilities (Q433519) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
- Verified stochastic methods (Q889881) (← links)
- Discrete time Markov chains with interval probabilities (Q962945) (← links)
- Robust topological policy iteration for infinite horizon bounded Markov decision processes (Q1726357) (← links)
- Computing lower and upper expected first-passage and return times in imprecise birth-death chains (Q2374517) (← links)
- Imprecise probability trees: bridging two theories of imprecise probability (Q2389662) (← links)
- Interval Type-2 Fuzzy Markov Chains (Q2974540) (← links)
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates (Q3646252) (← links)
- Extended Laplace principle for empirical measures of a Markov chain (Q5203894) (← links)