@misc{indiciae285fb251d273,
  title = {An algorithmic approximation of the infimum reachability probability for Probabilistic Finite Automata},
  author = {Sergio Giro},
  year = {2010},
  url = {https://arxiv.org/abs/1009.3822},
  note = {Source identifier: 1009.3822}
}