![](/img/cover-not-exists.png)
[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems
Hahn, Ernst Moritz, Norman, Gethin, Parker, David, Wachter, Bjorn, Zhang, LijunYear:
2011
Language:
english
DOI:
10.1109/QEST.2011.17
File:
PDF, 349 KB
english, 2011