Alexandre Bouchard-Côté Norm Ferns Prakash Panangaden Doina Precup An approximation algorithm for labelled Markov processes: towards realistic approximation. 54-62 2005 conf/qest/2005 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2005.4 db/conf/qest/qest2005.html#Bouchard-CoteFPP05