@misc{indiciaee64cd4bf72cf,
  title = {Experimental Study on CTL model checking using Machine Learning},
  author = {Weijun ZHU},
  year = {2019},
  url = {https://arxiv.org/abs/1902.08789},
  note = {Source identifier: 1902.08789}
}