Model checking for multi-agent systems with the interaction of fuzzy commitment and epistemic logic

Xia Li, Feng Feng, Defeng Kong, Qingxin Ren, Zhendong Li. Model checking for multi-agent systems with the interaction of fuzzy commitment and epistemic logic. Fuzzy Sets and Systems, 539:109916, 2026. [doi]

Abstract

Abstract is missing.