Strategy synthesis for partially observable stochastic games with neural perception mechanisms

Geahča maid

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