Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems
(2024)
Journal Article
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
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications. Although there is an extensive literature on qualitative properties such as safety and liveness, there is sti... Read More about Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems.