Model checking for multi-agent systems with the interaction of fuzzy commitment and epistemic logic.
Saved in:
| Title: | Model checking for multi-agent systems with the interaction of fuzzy commitment and epistemic logic. |
|---|---|
| Authors: | Li, Xia1, Feng, Feng1,2, 12024140059@stu.nxu.edu.cnfeng-f@nxu.edu.cn, Kong, Defeng1,3, Ren, Qingxin2, Li, Zhendong2 |
| Source: | Fuzzy Sets & Systems; Sep2026, Vol. 539, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01650114 |
|---|---|
| DOI: | 10.1016/j.fss.2026.109916 |
