Generation of Counterexamples for Model Checking of Markov Decision Processes

Husain Aljazzar, Stefan Leue. Generation of Counterexamples for Model Checking of Markov Decision Processes. In QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009. pages 197-206, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.