Learning deterministic probabilistic automata from a model checking perspective. Mao, H., Chen, Y., Jaeger, M., Nielsen, T. D., Larsen, K. G., & Nielsen, B. Mach. Learn., 105(2):255–299, 2016.
Learning deterministic probabilistic automata from a model checking perspective [link]Paper  doi  bibtex   
@article{DBLP:journals/ml/MaoCJNLN16,
  author    = {Hua Mao and
               Yingke Chen and
               Manfred Jaeger and
               Thomas D. Nielsen and
               Kim G. Larsen and
               Brian Nielsen},
  title     = {Learning deterministic probabilistic automata from a model checking
               perspective},
  journal   = {Mach. Learn.},
  volume    = {105},
  number    = {2},
  pages     = {255--299},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10994-016-5565-9},
  doi       = {10.1007/s10994-016-5565-9},
  timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ml/MaoCJNLN16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0