Decidable Problems for Probabilistic Automata on Infinite Words.

Krishnendu Chatterjee Mathieu Tracol

Published in: LICS (2012)

Keyphrases

probabilistic automata
database systems
distance measure
finite automata