Non-angelic Concurrent Game Semantics.

Simon Castellan Pierre Clairambault Jonathan Hayman Glynn Winskel

Published in: FoSSaCS (2018)

Keyphrases

game theory
video games
computer games
game play
game playing
formal semantics
conceptual model
pursuit evasion
imperfect information
optimal strategy
game theoretic
game design
nash equilibrium
semantic information
logic programming
cooperative
game based learning
mutual exclusion
database