Pritam Roy, David Parker, Gethin J. Norman, Luca de Alfaro. Symbolic Magnifying Lens Abstraction in Markov Decision Processes. In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France. pages 103-112, IEEE Computer Society, 2008. [doi]
Abstract is missing.