C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games.
Marta Kwiatkowska
Gethin Norman
David Parker
Gabriel Santos
Published in:
Principles of Systems Design (2022)
Keyphrases
</>
stochastic games
games with incomplete information
nash equilibria
markov decision processes
multiagent reinforcement learning
nash equilibrium
robust optimization
learning automata
upper bound
game theory
reinforcement learning algorithms
single agent
repeated games