@InProceedings{KPW16,
author={M. Kwiatkowska and D. Parker and C. Wiltsche},
title={PRISM-games 2.0: A Tool for Multi-Objective Strategy Synthesis for Stochastic Games},
booktitle={Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16)},
year={2016},

editor={M. Chechik and J-F. Raskin},
pages={},
organization={},
publisher={Springer},
series={LNCS},
volume={9636},
address={},
month={},
note={},
key={}
}