10252 Executive Summary - Game Semantics and Program Verification.
Paul-André MellièsAndrzej S. MurawskiAndrea SchalkIgor WalukiewiczPublished in: Game Semantics and Program Verification (2010)
Keyphrases
- formal semantics
- computer games
- video games
- educational games
- game theory
- game playing
- pursuit evasion
- logic programming
- game theoretic
- nash equilibrium
- serious games
- game design
- optimal strategy
- operational semantics
- learning games
- role playing
- query language
- semantic information
- database
- game based learning
- game development
- monte carlo tree search