@TechReport{KKNP08c,
author={M. Kattenbelt and M. Kwiatkowska and G. Norman and D. Parker},
title={A Game-based Abstraction-Refinement Framework for {Markov} Decision Processes},
institution={Oxford University Computing Laboratory},
year={2008},

type={},
number={RR-08-06},
address={},
month={February},
note={},
key={}
}