Using coalgebras and the Giry monad for interpreting game logics - a tutorial.
Ernst-Erich DoberkatPublished in: Frontiers Comput. Sci. (2017)
Keyphrases
- expressive power
- nash equilibrium
- game theory
- game theoretic
- computer games
- game playing
- game design
- modal logic
- propositional calculus
- video games
- pursuit evasion
- virtual world
- perfect information
- repeated games
- imperfect information
- classical logic
- role playing
- serious games
- nash equilibria
- game based learning
- game play
- database
- educational games
- incomplete information
- virtual environment
- neural network
- data sets