@TechReport{KNP06d,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Game-based Abstraction for {Markov} Decision Processes},
institution={School of Computer Science, University of Birmingham},
year={2006},

type={},
number={CSR-06-05},
address={},
month={},
note={},
key={}
}