@InProceedings{KNP06b, author={M. Kwiatkowska and G. Norman and D. Parker}, title={Game-based Abstraction for {Markov} Decision Processes}, booktitle={Proc. 3rd International Conference on Quantitative Evaluation of Systems (QEST'06)}, year={2006}, editor={}, pages={157-166}, organization={}, publisher={IEEE CS Press}, series={}, volume={}, address={}, month={}, note={}, key={} }