Zhang, Z., Ernst, G., Sedwards, S., Arcani, P., & Hasuo, I. (2018). Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE TCAD Torino, Italy: IEEE. Retrieved from https://ieeexplore.ieee.org/document/8418450