Interval-valued finite Markov chains

From MaRDI portal
Publication:1597639


DOI10.1023/A:1014745904458zbMath1001.65007MaRDI QIDQ1597639

Igor O. Kozine, Lev V. Utkin

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


60J22: Computational methods in Markov chains

65G30: Interval and finite arithmetic

65C40: Numerical analysis or methods applied to Markov chains


Related Items

Unnamed Item, An interval-valued reliability model with bounded failure rates, Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities, Stochastic dynamics simulation with generalized interval probability, Approximate Verification of the Symbolic Dynamics of Markov Chains, Model-Checking ω-Regular Properties of Interval Markov Chains, Markov interval chain (MIC) for solving a decision problem, Parameter synthesis in Markov models: a gentle survey, Genetic algorithms for condition-based maintenance optimization under uncertainty, Three-valued abstraction for probabilistic systems, Maximizing entropy over Markov processes, Maintenance policy performance assessment in presence of imprecision based on Dempster-Shafer theory of evidence, Imprecise Markov chains with absorption, Probabilistic model checking of biological systems with uncertain kinetic rates, Lumpability for uncertain continuous-time Markov chains, Verified stochastic methods, Discrete time Markov chains with interval probabilities, Robust topological policy iteration for infinite horizon bounded Markov decision processes, Coefficients of ergodicity for Markov chains with uncertain parameters, A formal approach to adaptive software: continuous assurance of non-functional requirements, Finding provably optimal Markov chains, Computing lower and upper expected first-passage and return times in imprecise birth-death chains, Reachability analysis of uncertain systems using bounded-parameter Markov decision processes, Imprecise probability trees: bridging two theories of imprecise probability, Bounded densities and their derivatives: extension to other domains, Time-homogeneous birth-death processes with probability intervals and absorbing state, Min-max decision rules for choice under complete uncertainty: axiomatic characterizations for preferences over utility intervals, Computing interval-valued statistical characteristics: what is the stumbling block for reliability applications?, IMPRECISE MARKOV CHAINS AND THEIR LIMIT BEHAVIOR, Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates