Li, Xia, Ma, Zhanyou, Mian, Zhibao, Liu, Ziyuan, Huang, Ruiqi, He, Nana, "Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems", Computers, Materials & Continua, 2025