Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games.

Marta Kwiatkowska Gethin Norman David Parker Gabriel Santos

Published in: CoRR (2022)

Keyphrases

stochastic games
nash equilibria
games with incomplete information
markov decision processes
multiagent reinforcement learning
average reward
multi agent
nash equilibrium
learning algorithm
neural network
reinforcement learning
expert systems
least squares
dynamic environments
decision problems
single agent