Probabilistic ω-automata.

Christel Baier Marcus Größer Nathalie Bertrand

Published in: J. ACM (2012)

Keyphrases

probabilistic automata
finite automata
relative entropy
markov chain
finite state automata
sound theoretical
feature selection
database systems
state space
information theoretic