Machine-learning-based model checker performance prediction
Chengyu ZHANG, Jiayi ZHU, Yihao HUANG, Di YANG, Jianwen LI, Weikai MIAO, Di YAN, Bin GU, Naijun ZHAN, Geguang PU
Journal of East China Normal University(Natural Science) . 2024, (4): 18 -29 .  DOI: 10.3969/j.issn.1000-5641.2024.04.002