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

類似資料

• PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
  著者:: Kwiatkowska, M, 等
  出版事項: (2016)
• Compositional strategy synthesis for stochastic games with multiple objectives
  著者:: Basset, N, 等
  出版事項: (2017)
• Strategy Synthesis for Stochastic Games with Multiple Long−Run Objectives
  著者:: Basset, N, 等
  出版事項: (2014)
• On Stochastic Games with Multiple Objectives
  著者:: Chen, T, 等
  出版事項: (2013)
• Multi-player equilibria verification for concurrent stochastic games
  著者:: Kwiatkowska, M, 等
  出版事項: (2020)