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