Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu. Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011. pages 203-212, IEEE Computer Society, 2011. [doi]
@inproceedings{HansenKQ11,
title = {Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness},
author = {Henri Hansen and Marta Z. Kwiatkowska and Hongyang Qu},
year = {2011},
doi = {10.1109/QEST.2011.35},
url = {http://doi.ieeecomputersociety.org/10.1109/QEST.2011.35},
researchr = {https://researchr.org/publication/HansenKQ11},
cites = {0},
citedby = {0},
pages = {203-212},
booktitle = {Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011},
publisher = {IEEE Computer Society},
isbn = {978-1-4577-0973-9},
}