Bisimilarity of Probabilistic Pushdown Automata

Vojtech Forejt Petr Jancar Stefan Kiefer James Worrell

Published in: CoRR (2012)

Keyphrases

cellular automata
finite automata
generative model
regular expressions
bayesian networks
probability theory
information retrieval
genetic algorithm
artificial intelligence
reinforcement learning
data driven
information theoretic
context sensitive
uncertain data
probabilistic logic
probabilistic networks