Reference author: Zhenya Zhang

Zhang, Z., Ernst, G., Hasuo, I., & Sedwards, S. (2018). Time-Staging Enhancement of Hybrid System Falsification Porto, Portugal: IEEE. Retrieved from https://ieeexplore.ieee.org/abstract/document/8429475

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

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

Ernst, G., Sedwards, S., Zhang, Z., & Hasuo, I. (2019). Fast Falsification of Hybrid Systems using Probabilistically Adaptive Input Glasgow, Scotland: Springer.