Bisimilarity of Probabilistic Pushdown Automata.
Vojtech ForejtPetr JancarStefan KieferJames WorrellPublished in: FSTTCS (2012)
Keyphrases
- probabilistic model
- bayesian networks
- uncertain data
- cellular automata
- decision making
- probabilistic approaches
- probabilistic interpretation
- finite automata
- probabilistic logic
- finite state
- context sensitive
- conditional probabilities
- model checking
- generative model
- knowledge base
- data driven
- belief networks
- finite state machines
- evolutionary algorithm
- data structure
- metadata
- artificial intelligence
- probabilistic relational