Decidable Problems for Probabilistic Automata on Infinite Words | IEEE Conference Publication | IEEE Xplore