Stochastic game logic.
Christel BaierTomás BrázdilMarcus GrößerAntonín KuceraPublished in: Acta Informatica (2012)
Keyphrases
- winning strategy
- game theory
- computer games
- monte carlo
- educational games
- logic programming
- stochastic optimization
- modal logic
- game theoretic
- classical logic
- nash equilibrium
- stochastic processes
- computational properties
- game playing
- game design
- game play
- video games
- monte carlo tree search
- human computation
- optimal strategy
- perfect information
- real time strategy games
- logical framework
- digital games
- online game
- cooperative
- learning automata
- multi valued
- imperfect information
- stochastic games
- serious games
- learning games
- virtual world
- virtual environment
- proof theory
- logic programs
- learning process