Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata.
Vojtech ForejtPetr JancarStefan KieferJames WorrellPublished in: CoRR (2017)
Keyphrases
- bayesian networks
- game theory
- computer games
- game play
- video games
- cellular automata
- uncertain data
- game theoretic
- finite state
- probabilistic model
- mobile games
- virtual world
- perfect information
- data sets
- serious games
- model checking
- game playing
- probabilistic logic
- data driven
- tree automata
- game development
- nash equilibria
- cooperative
- educational games
- nash equilibrium
- posterior probability
- generative model
- learning experience