D.: Game-based abstraction for Markov decision processes (2006)

by M Kwiatkowska, G Norman, Parker
Venue:In: Proc. 3rd Int. Conf. Quantitative Evaluation of Systems (QEST’06