Keyphrases
- transition systems
- computer games
- modal logic
- game playing
- game theory
- video games
- serious games
- nash equilibria
- nash equilibrium
- educational games
- games played
- leader follower
- sequent calculus
- computer algebra
- game theoretic
- game design
- game development
- perfect information
- algebraic structure
- general game playing
- model checking
- two player games
- reinforcement learning
- neural network
- data sets