इसका टेक्स्ट मैसेज भेजे: PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games