Seol mar théacs é seo: PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives