Login / Signup
State Separation for Code-Based Game-Playing Proofs.
Chris Brzuska
Antoine Delignat-Lavaud
Cédric Fournet
Konrad Kohbrok
Markulf Kohlweiss
Published in:
ASIACRYPT (3) (2018)
Keyphrases
</>
game playing
video games
game tree search
general game playing
multi player
state space
machine learning
case study
source code
virtual environment
game based learning
game tree
imperfect information
temporal difference learning
world class