@InProceedings{HNP+11,
author={E. M. Hahn and G. Norman and D. Parker and B. Wachter and L. Zhang},
title={Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems},
booktitle={Proc. 8th International Conference on Quantitative Evaluation of SysTems (QEST'11)},
year={2011},

editor={},
pages={69-78},
organization={},
publisher={IEEE CS Press},
series={},
volume={},
address={},
month={September},
note={},
key={}
}