Dependent Types for Extensive Games.

Pierre Lescanne

Published in: J. Formaliz. Reason. (2018)

Keyphrases

real world
game theory
neural network
case study
game theoretic
database
real time
artificial intelligence
information systems
computer games
video games