@article{WSYP18,
  author        = {J. Wang and J. Sun and Q. Yuan and J. Pang},
  title         = {Probabilistic model learning for model checking: An empirical study and a new approach},
  journal       = {International Journal on Software Tools for Technology Transfer},
  year          = {2018},
  volume        = {20},
  number        = {6},
  pages         = {689-704}
}