PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

Eitemau Tebyg

• PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
  gan: Kwiatkowska, M, et al.
  Cyhoeddwyd: (2016)
• Compositional strategy synthesis for stochastic games with multiple objectives
  gan: Basset, N, et al.
  Cyhoeddwyd: (2017)
• Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
  gan: Basset, N, et al.
  Cyhoeddwyd: (2014)
• On Stochastic Games with Multiple Objectives
  gan: Chen, T, et al.
  Cyhoeddwyd: (2013)
• Multi-player equilibria verification for concurrent stochastic games
  gan: Kwiatkowska, M, et al.
  Cyhoeddwyd: (2020)