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.