@InProceedings{RPNdA08, author={P. Roy and D. Parker and G. Norman and L. de Alfaro}, title={Symbolic Magnifying Lens Abstraction in {Markov} Decision Processes}, booktitle={Proc. 5th International Conference on Quantitative Evaluation of Systems (QEST'08)}, year={2008}, editor={}, pages={103-112}, organization={}, publisher={IEEE CS Press}, series={}, volume={}, address={}, month={}, note={}, key={} }