@InProceedings{Bouchard2005approximation,
  author = {Alexandre Bouchard-C\^{o}t\'{e} and Norm Ferns and Prakash Panangaden and Doina Precup},
  title = {An approximation algorithm for labelled {M}arkov processes: towards realistic approximation},
  booktitle = {Proceedings of the International Conference on Quantitative Evaluation of Systems},
  volume = {2},
  pages = {54--62},
  year = {2005}
}