Strategy synthesis for linear arithmetic games.

Azadeh Farzan Zachary Kincaid

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

leader follower
video games
neural network
mixed strategy
information systems
two player games
closed form
nash equilibrium
game play
linear model
game playing
nash equilibria
arithmetic operations
weighted majority