Profinite techniques for probabilistic automata and the Markov Monoid algorithm. Fijalkow, N. Theoretical Computer Science, 2017.
Profinite techniques for probabilistic automata and the Markov Monoid algorithm [link]Paper  doi  bibtex   
@article{Fijalkow17,
  author    = {Nathana{\"{e}}l Fijalkow},
  title     = {Profinite techniques for probabilistic automata and the Markov Monoid
               algorithm},
  journal   = {Theoretical Computer Science},
  volume    = {680},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.tcs.2017.04.006},
  doi       = {10.1016/j.tcs.2017.04.006},
}

Downloads: 0