Li, X., Ma, Z., Mian, Z., Liu, Z., Huang, R., & He, N. (2024). Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems. Computers, Materials & Continua, 78(3), 4129-4152. https://doi.org/10.32604/cmc.2024.047168