Abstraction Framework for Markov Decision Processes and PCTL via Games (Oxford University Computing Laboratory, 2009)

(untitled) - Kattenbelt, M; Huth, M