@inproceedings{WSYP17,
  author        = {J. Wang and J. Sun and Q. Yuan and J. Pang},
  title         = {Should we learn probabilistic models for model checking? {A} new approach and an empirical study},
  booktitle     = {Proc.\ 20th International Conference on Fundamental Approaches to Software Engineering (FASE'17)},
  publisher     = {Springer-Verlag},
  series        = {Lecture Notes in Computer Science},
  year          = {2017},
  volume        = {10202},
  pages         = {3-21}
}