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