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]
@inproceedings{AljazzarL09, title = {Generation of Counterexamples for Model Checking of Markov Decision Processes}, author = {Husain Aljazzar and Stefan Leue}, year = {2009}, doi = {10.1109/QEST.2009.10}, url = {http://doi.ieeecomputersociety.org/10.1109/QEST.2009.10}, tags = {model checking, meta-model, Markov, Meta-Environment, process modeling}, researchr = {https://researchr.org/publication/AljazzarL09}, cites = {0}, citedby = {0}, pages = {197-206}, booktitle = {QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3808-2}, }