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