Optimally Resilient Strategies in Pushdown Safety Games.

Daniel Neider Patrick Totzke Martin Zimmermann

Published in: MFCS (2020)

Keyphrases

mixed strategy
video games
repeated games
model checking
game theory
learning agents
optimal strategy
database
nash equilibria
test beds
weighted majority
computer games
online game
game playing
learning games
perfect information
nuclear power plant
cooperative
two player games
equilibrium strategies
genetic algorithm