Algorithmic probabilistic game semantics - Playing games with automata.
Stefan KieferAndrzej S. MurawskiJoël OuaknineBjörn WachterJames WorrellPublished in: Formal Methods Syst. Des. (2013)
Keyphrases
- playing games
- game design
- video games
- computer games
- cellular automata
- formal semantics
- educational games
- probabilistic model
- probabilistic logic
- game play
- generative model
- uncertain data
- game theory
- semantic information
- finite automata
- bayesian networks
- design process
- virtual world
- finite state
- default reasoning
- probability theory
- logic programming