@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",
}