Strategy synthesis for partially observable stochastic games with neural perception mechanisms

Antzeko izenburuak

• Partially observable stochastic games with neural perception mechanisms
  nork: Yan, R, et al.
  Argitaratua: (2024)
• HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms
  nork: Yan, R, et al.
  Argitaratua: (2024)
• Quantitative verification and strategy synthesis of stochastic games
  nork: Svorenova, M, et al.
  Argitaratua: (2016)
• Compositional strategy synthesis for stochastic games with multiple objectives
  nork: Basset, N, et al.
  Argitaratua: (2017)
• Model checking and strategy synthesis for stochastic games: from theory to practice
  nork: Kwiatkowska, M
  Argitaratua: (2016)