The Decidability Frontier for Probabilistic Automata on Infinite Words

Krishnendu Chatterjee Thomas A. Henzinger Mathieu Tracol

Published in: CoRR (2011)

Keyphrases

probabilistic automata
finite automata
relative entropy
markov chain
finite state automata
regular languages
sound theoretical
hidden markov models
probabilistic model
text classification
grammatical inference