Pritam Roy David Parker Gethin Norman Luca de Alfaro Symbolic Magnifying Lens Abstraction in Markov Decision Processes. 103-112 2008 QEST http://dx.doi.org/10.1109/QEST.2008.41 conf/qest/2008 db/conf/qest/qest2008.html#RoyPNA08