Oxford logo
[RPNdA08] P. Roy, D. Parker, G. Norman and L. de Alfaro. Symbolic Magnifying Lens Abstraction in Markov Decision Processes. In Proc. 5th International Conference on Quantitative Evaluation of Systems (QEST'08), pages 103-112, IEEE CS Press. September 2008. [pdf] [bib]
Downloads:  pdf pdf (229 KB)  bib bib

QAV:

Home

People

Projects

Publications