@misc{indiciae36f90901005a,
  title = {Predicting the Results of LTL Model Checking using Multiple Machine Learning Algorithms},
  author = {Weijun Zhu and Mingliang Xu and Jianwei Wang},
  year = {2019},
  url = {https://arxiv.org/abs/1901.07891},
  note = {Source identifier: 1901.07891}
}