@techreport{KKNP08c,
  title = "A Game-based Abstraction-Refinement Framework for Markov Decision Processes",
  author = "M. Kattenbelt and M. Kwiatkowska and G. Norman and D. Parker",
  year = "2008",
  institution = "Oxford University Computing Laboratory",
  month = "February",
  number = "RR-08-06",
  url = "http://qav.comlab.ox.ac.uk/papers/RR-08-06.pdf",
}