Extensive Infinite Games and Escalation, an exercise in Agda.

Pierre Lescanne

Published in: CoRR (2020)

Keyphrases

search engine
game design
game theory
game theoretic
neural network
real world
video games
real time
educational games
game playing
learning agents
database
information systems
nash equilibrium