Generation of Counterexamples for Model Checking of Markov Decision Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Husain Aljazzar' in GoogleThis author has not been identified. Look up 'Stefan Leue' in Google

runs on WebDSL