Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains

Abstract

We consider model checking of Discrete Time Markov Chains (DTMC) with transition probabilities which are not exactly known but lie in a given interval. Model checking a Probabilistic Computation Tree Logic (PCTL) formula for interval-valued DTMCs (IMC) has been shown to be NP hard and co-NP hard. Since the state space of a realistic DTMC is generally huge… (More)
DOI: 10.1109/QEST.2009.42

Topics

Cite this paper

@article{Haddad2009UsingSC, title={Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains}, author={Serge Haddad and Nihal Pekergin}, journal={2009 Sixth International Conference on the Quantitative Evaluation of Systems}, year={2009}, pages={177-186} }