@article {428,
	title = {Smart sampling for lightweight verification of Markov decision processes},
	journal = {{STTT}},
	volume = {17},
	year = {2015},
	pages = {469{\textendash}484},
	doi = {10.1007/s10009-015-0383-0},
	url = {http://dx.doi.org/10.1007/s10009-015-0383-0},
	author = {Pedro R. D{\textquoteright}Argenio and Axel Legay and Sedwards, Sean and Traonouez, Louis-Marie}
}