![](/img/cover-not-exists.png)
[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness
Hansen, Henri, Kwiatkowska, Marta, Qu, HongyangYear:
2011
Language:
english
DOI:
10.1109/qest.2011.35
File:
PDF, 285 KB
english, 2011