[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]
|
pdf (229 KB)
bib