@inproceedings{KH09,
  title = "Verification and Refutation of Probabilistic Specifications via Games",
  author = "M. Kattenbelt and M. Huth",
  year = "2009",
  booktitle = "Proc. 29th International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS `09)",
  howpublished = "To appear",
}
@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",
}
@inproceedings{KKNP09,
  title = "Abstraction Refinement for Probabilistic Software",
  author = "M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker",
  year = "2009",
  booktitle = "Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI `09)",
  month = "January",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://qav.comlab.ox.ac.uk/papers/vmcai09.pdf",
}
@inproceedings{KKNP08a,
  title = "Game-Based Probabilistic Predicate Abstraction in {PRISM}",
  author = "M. Kattenbelt and M. Kwiatkowska and G. Norman and D. Parker",
  year = "2008",
  booktitle = "Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08)",
  url = "http://qav.comlab.ox.ac.uk/papers/qapl08.pdf",
}
@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",
}
@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",
}