Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang 0001. Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011. pages 69-78, IEEE Computer Society, 2011. [doi]
Abstract is missing.