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

by M Kwiatkowska, G Norman, D Parker
Venue:In QEST’06,