一种基于机器学习的模型检查算法性能预测方法
张枨宇, 诸嘉逸, 黄怿豪, 杨迪, 李建文, 缪炜恺, 阎迪, 顾斌, 詹乃军, 蒲戈光
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
华东师范大学学报（自然科学版）
.
2024, (4): 18
-29
.
DOI: 10.3969/j.issn.1000-5641.2024.04.002
中国综合性科技类核心期刊(北大核心)