Pages that link to "Item:Q1597639"
From MaRDI portal
The following pages link to Interval-valued finite Markov chains (Q1597639):
Displaying 30 items.
- Genetic algorithms for condition-based maintenance optimization under uncertainty (Q319420) (← links)
- Three-valued abstraction for probabilistic systems (Q444484) (← links)
- Maximizing entropy over Markov processes (Q465487) (← links)
- Maintenance policy performance assessment in presence of imprecision based on Dempster-Shafer theory of evidence (Q497551) (← links)
- Imprecise Markov chains with absorption (Q622268) (← links)
- Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350) (← links)
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← 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)
- Coefficients of ergodicity for Markov chains with uncertain parameters (Q1938879) (← links)
- A formal approach to adaptive software: continuous assurance of non-functional requirements (Q1941849) (← links)
- Finding provably optimal Markov chains (Q2044197) (← links)
- Computing lower and upper expected first-passage and return times in imprecise birth-death chains (Q2374517) (← links)
- Reachability analysis of uncertain systems using bounded-parameter Markov decision processes (Q2389641) (← links)
- Imprecise probability trees: bridging two theories of imprecise probability (Q2389662) (← links)
- Bounded densities and their derivatives: extension to other domains (Q2431651) (← links)
- Time-homogeneous birth-death processes with probability intervals and absorbing state (Q2431658) (← links)
- Min-max decision rules for choice under complete uncertainty: axiomatic characterizations for preferences over utility intervals (Q2447780) (← links)
- Computing interval-valued statistical characteristics: what is the stumbling block for reliability applications? (Q3552189) (← links)
- IMPRECISE MARKOV CHAINS AND THEIR LIMIT BEHAVIOR (Q3644940) (← links)
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates (Q3646252) (← links)
- An interval-valued reliability model with bounded failure rates (Q4905114) (← links)
- (Q5028426) (← links)
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities (Q5041280) (← links)
- Stochastic dynamics simulation with generalized interval probability (Q5259062) (← links)
- Model-Checking ω-Regular Properties of Interval Markov Chains (Q5458367) (← links)
- Approximate Verification of the Symbolic Dynamics of Markov Chains (Q5501948) (← links)
- Markov interval chain (MIC) for solving a decision problem (Q6059852) (← links)
- Parameter synthesis in Markov models: a gentle survey (Q6113987) (← links)