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

Míreanna comhchosúla

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