Game-based abstraction for Markov decision processes (2006)

by Marta Kwiatkowska, Gethin Norman, David Parker