Learning Deterministic Probabilistic Automata from a Model Checking Perspective

Mao et al. "Learning Deterministic Probabilistic Automata from a Model Checking Perspective." Machine Learning, 2016. doi:10.1007/S10994-016-5565-9

[Mao et al. "Learning Deterministic Probabilistic Automata from a Model Checking Perspective." Machine Learning, 2016.](https://mlanthology.org/mlj/2016/mao2016mlj-learning/) doi:10.1007/S10994-016-5565-9

@article{mao2016mlj-learning,
  title     = {{Learning Deterministic Probabilistic Automata from a Model Checking Perspective}},
  author    = {Mao, Hua and Chen, Yingke and Jaeger, Manfred and Nielsen, Thomas D. and Larsen, Kim G. and Nielsen, Brian},
  journal   = {Machine Learning},
  year      = {2016},
  pages     = {255-299},
  doi       = {10.1007/S10994-016-5565-9},
  volume    = {105},
  url       = {https://mlanthology.org/mlj/2016/mao2016mlj-learning/}
}