Postselecting probabilistic finite state recognizers and verifiers.

Maksims Dimitrijevs Abuzer Yakaryilmaz

Published in: CoRR (2018)

Keyphrases

finite state
markov chain
markov decision processes
model checking
optimal policy
probabilistic context free grammars
probabilistic model
context free
tree automata
average cost
bayesian networks
learning algorithm
language model
generative model
least squares
state space
belief networks