@techreport{KKNP08b,
  title = "Game-Based Probabilistic Predicate Abstraction in {PRISM}",
  author = "M. Kattenbelt and M. Kwiatkowska and G. Norman and D. Parker",
  year = "2008",
  institution = "Oxford University Computing Laboratory",
  month = "February",
  number = "RR-08-01",
  url = "http://qav.comlab.ox.ac.uk/papers/RR-08-01.pdf",
}