@misc{indiciae2b2282486a73,
  title = {Model-checking branching-time properties of probabilistic automata and probabilistic one-counter automata},
  author = {T. Lin},
  year = {2021},
  url = {https://arxiv.org/abs/1502.07549},
  note = {Source identifier: 1502.07549}
}