Counting Logics and Games with Counters.
Simon LeßenichPublished in: Joint Workshop of the German Research Training Groups in Computer Science (2014)
Keyphrases
- computer games
- nash equilibria
- game theory
- video games
- inference rules
- game design
- expressive power
- game play
- game tree search
- game theoretic
- weighted majority
- monte carlo tree search
- classical logic
- educational games
- modal logic
- game based learning
- stochastic games
- serious games
- perfect information
- learning environment
- game playing
- coalitional games
- turn taking
- boolean games
- leader follower