@proceedings{80,
  author = {Zhenya Zhang and Gidon Ernst and Sean Sedwards and Paolo Arcani and Ichiro Hasuo},
  title = {Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE TCAD},
  year = {2018},
  volume = {37},
  edition = {11},
  pages = {2894\textendash2905},
  publisher = {IEEE},
  address = {Torino, Italy},
  url = {https://ieeexplore.ieee.org/document/8418450},
}