Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata.
Vojtech ForejtPetr JancarStefan KieferJames WorrellPublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- generative model
- bayesian networks
- game theory
- educational games
- probabilistic model
- game playing
- game theoretic
- virtual world
- video games
- posterior probability
- conditional probabilities
- finite state
- game design
- neural network
- information theoretic
- model checking
- cellular automata
- uncertain data
- computer games
- data driven
- game tree
- finite automata
- game tree search
- pursuit evasion