@Article{KKNP10,
author={M. Kattenbelt and M. Kwiatkowska and G. Norman and D. Parker},
title={A Game-based Abstraction-Refinement Framework for {Markov} Decision Processes},
journal={Formal Methods in System Design},
year={2010},

volume={36},
number={3},
pages={246-280},
publisher={Springer},
month={},
note={},
key={}
}