Refinement-Based Game Semantics for Certified Abstraction Layers.

Jérémie Koenig Zhong Shao

Published in: LICS (2020)

Keyphrases

game theory
formal semantics
video games
multi layer
logic programming
game playing
game design
imperfect information games
computer games
high level
imperfect information
role playing
semantic information
educational games
virtual world
semantic web
game theoretic
game tree
digital games
game development