Ernst, G. ., Sedwards, S. ., Zhang, Z. ., & Hasuo, I. . (2021). Falsification of Hybrid Systems Using Adaptive Probabilistic Search. ACM Transactions on Modeling and Computer Simulation (TOMACS), 31, 1-22. https://doi.org/10.1145/3459605