Model Checking of Open Interval Markov Chains
- 22 May 2015
- book chapter
- Published by Springer Nature
- p. 30-42
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Constraint Markov ChainsTheoretical Computer Science, 2011
- Discrete time Markov chains with interval probabilitiesInternational Journal of Approximate Reasoning, 2009
- Model-Checking ω-Regular Properties of Interval Markov Chains2008
- Model-Checking Markov Chains in the Presence of Uncertainties2006
- Measures of uncertainty in expert systemsArtificial Intelligence, 1996
- The complexity of probabilistic verificationJournal of the ACM, 1995
- Model checking of probabilistic and nondeterministic systems1995
- A logic for reasoning about time and reliabilityFormal Aspects of Computing, 1994
- On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the realsJournal of Symbolic Computation, 1992
- Temporal and Modal Logic1990