Statistical model checking for Markov decision processes (2012)

by D Henriques, J Martins, P Zuliani
Venue:In: Proceedings of 9th International conference on quantitative evaluation of systems (QEST