@article{decidabilityofcutpointisolationforletter,
  title = {Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs},
  author = {Paul C. Bell and Pavel Semukhin},
  year = {2020},
  eprint = {2002.07660},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2002.07660v2},
}