Interval-valued finite Markov chains
From MaRDI portal
Publication:1597639
DOI10.1023/A:1014745904458zbMath1001.65007OpenAlexW1479679270MaRDI QIDQ1597639
Publication date: 30 May 2002
Published in: Reliable Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1014745904458
linear programmingfuzzy measurefinite Markov chainslower probabilityupper probabilityinterval valued probabilities
Computational methods in Markov chains (60J22) Interval and finite arithmetic (65G30) Numerical analysis or methods applied to Markov chains (65C40)
Related Items (30)
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities ⋮ Lumpability for uncertain continuous-time Markov chains ⋮ Computing lower and upper expected first-passage and return times in imprecise birth-death chains ⋮ Genetic algorithms for condition-based maintenance optimization under uncertainty ⋮ Reachability analysis of uncertain systems using bounded-parameter Markov decision processes ⋮ Imprecise probability trees: bridging two theories of imprecise probability ⋮ Verified stochastic methods ⋮ Markov interval chain (MIC) for solving a decision problem ⋮ Imprecise Markov chains with absorption ⋮ Parameter synthesis in Markov models: a gentle survey ⋮ Coefficients of ergodicity for Markov chains with uncertain parameters ⋮ A formal approach to adaptive software: continuous assurance of non-functional requirements ⋮ Bounded densities and their derivatives: extension to other domains ⋮ Time-homogeneous birth-death processes with probability intervals and absorbing state ⋮ Three-valued abstraction for probabilistic systems ⋮ Min-max decision rules for choice under complete uncertainty: axiomatic characterizations for preferences over utility intervals ⋮ Maximizing entropy over Markov processes ⋮ Unnamed Item ⋮ Robust topological policy iteration for infinite horizon bounded Markov decision processes ⋮ Computing interval-valued statistical characteristics: what is the stumbling block for reliability applications? ⋮ Maintenance policy performance assessment in presence of imprecision based on Dempster-Shafer theory of evidence ⋮ An interval-valued reliability model with bounded failure rates ⋮ Discrete time Markov chains with interval probabilities ⋮ Approximate Verification of the Symbolic Dynamics of Markov Chains ⋮ Model-Checking ω-Regular Properties of Interval Markov Chains ⋮ Finding provably optimal Markov chains ⋮ IMPRECISE MARKOV CHAINS AND THEIR LIMIT BEHAVIOR ⋮ Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates ⋮ Probabilistic model checking of biological systems with uncertain kinetic rates ⋮ Stochastic dynamics simulation with generalized interval probability
This page was built for publication: Interval-valued finite Markov chains
