Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems

Zhanyou Ma, Xia Li, Ziyuan Liu, Ruiqi Huang, Nana He. Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems. Fuzzy Sets and Systems, 485:108966, 2024. [doi]

Abstract

Abstract is missing.