@Article{KPW18,
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={20},
number={2},
pages={195–210},
publisher={Springer},
month={},
note={},
key={}
}