@misc{indiciae19dfb1731fca,
  title = {Two-Layered Falsification of Hybrid Systems guided by Monte Carlo Tree Search},
  author = {Zhenya Zhang and Gidon Ernst and Sean Sedwards and Paolo Arcaini and Ichiro Hasuo},
  year = {2018},
  url = {https://arxiv.org/abs/1803.06276},
  note = {Source identifier: 1803.06276}
}