Prediction-Powered Model Checking via Predictiveness Comparisons
LIU Yanhong, JIA Yinxu, WANG Guanghui, WANG Zhaojun, ZOU Changliang
Prediction-Powered Model Checking via Predictiveness Comparisons
LIU Yanhong, JIA Yinxu, WANG Guanghui, WANG Zhaojun, ZOU Changliang
系统科学与复杂性(英文)
.
2026, (1): 115
-135
.
DOI: 10.1007/s11424-026-5075-1
