@misc{indiciae54b8d7ed84af,
  title = {The Decidability Frontier for Probabilistic Automata on Infinite Words},
  author = {Krishnendu Chatterjee and Thomas A. Henzinger and Mathieu Tracol},
  year = {2011},
  url = {https://arxiv.org/abs/1104.0127},
  note = {Source identifier: 1104.0127}
}