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