@misc{indiciae4e1d92150f17,
  title = {Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study},
  author = {Jingyi Wang and Jun Sun and Qixia Yuan and Jun Pang},
  year = {2017},
  doi = {10.1007/978-3-662-54494-5\_1},
  url = {https://arxiv.org/abs/1605.08278},
  note = {Source identifier: 1605.08278}
}