Postselecting probabilistic finite state recognizers and verifiers.
Maksims DimitrijevsAbuzer YakaryilmazPublished in: NCMA (2018)
Keyphrases
- finite state
- markov chain
- markov decision processes
- model checking
- probabilistic context free grammars
- optimal policy
- context free
- probabilistic model
- bayesian networks
- average cost
- partially observable markov decision processes
- transition systems
- dynamic programming
- data mining
- tree automata
- belief networks
- action sets
- continuous time bayesian networks
- decision problems
- fixed point
- text classification
- state space
- search algorithm
- machine learning