@techreport{RR-09-01, title = "Abstraction Framework for Markov Decision Processes and PCTL via Games", author = "Mark Kattenbelt and Michael Huth", year = "2009", institution = "Oxford University Computing Laboratory", number = "RR-09-01", pages = "45", url = "http://qav.comlab.ox.ac.uk/papers/KH09.pdf", }