Stochastic Game Logic.
Christel BaierTomás BrázdilMarcus GrößerAntonín KuceraPublished in: QEST (2007)
Keyphrases
- winning strategy
- computer games
- video games
- logic programming
- game theory
- game based learning
- serious games
- game playing
- educational games
- proof procedures
- pursuit evasion
- cooperative game
- modal logic
- monte carlo
- proof theory
- predicate logic
- stochastic optimization
- classical logic
- learning automata
- online game
- game theoretic
- game design
- game play
- stochastic programming
- deontic logic
- automated reasoning
- real time strategy games
- resource allocation