Recurrence and Transience for Probabilistic Automata.

Mathieu Tracol Christel Baier Marcus Größer

Published in: FSTTCS (2009)

Keyphrases

probabilistic automata
finite automata
relative entropy
markov chain
finite state automata
sound theoretical
statistical methods
regular expressions
special case
nearest neighbor
object oriented
mutual information
statistical models