@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={} }