How to Win First-Order Safety Games.

Helmut Seidl Christian Müller Bernd Finkbeiner

Published in: VMCAI (2020)

Keyphrases

computer games
higher order
first order logic
game playing
nash equilibria
stochastic dominance
game play
video games
game theory
safety analysis
nash equilibrium
search algorithm
imperfect information
stochastic games
learning agents
two player games
quantifier elimination
pure nash equilibria