@Article{KNW17,
author={Marta Kwiatkowska and David Parker and Clemens Wiltsche},
title={PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives},
journal={International Journal on Software Tools for Technology Transfer},
year={2017},

volume={},
number={},
pages={},
publisher={Springer},
month={},
note={},
key={}
}