@Article{TurriniH15,
  Title = {Polynomial Time Decision Algorithms for Probabilistic Automata},
  Author = {Turrini, Andrea and Hermanns, Holger},
  Journal = {Information and Computation},
  Year = {2015},
  Pages = {134-171},
  Volume = {244},
  Doi = {http://dx.doi.org/10.1016/j.ic.2015.07.004}
}