Open Access

ARTICLE

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

Xia Li¹, Zhanyou Ma^1,*, Zhibao Mian², Ziyuan Liu¹, Ruiqi Huang¹, Nana He¹

1 School of Computer Science and Engineering, North Minzu University, Yinchuan, 750000, China
2 School of Computer Science, FoSE, The University of Hull, Hull, UK

* Corresponding Author: Zhanyou Ma. Email: