@misc{indiciae337653af3d29,
  title = {Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement},
  author = {Jingyi Wang and Jun Sun and Shengchao Qin and Cyrille Jegourel},
  year = {2018},
  doi = {10.1109/tse.2018.2886898},
  url = {https://arxiv.org/abs/1610.06371},
  note = {Source identifier: 1610.06371}
}