أرسل هذا في رسالة قصيرة: PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games