@misc{indiciaef28554729a9b,
  title = {Quantitative Automata under Probabilistic Semantics},
  author = {Krishnendu Chatterjee and Thomas A. Henzinger and Jan Otop},
  year = {2019},
  doi = {10.23638/lmcs-15(3:16)2019},
  url = {https://arxiv.org/abs/1604.06764},
  note = {Source identifier: 1604.06764}
}