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 Syst. 485: 108966 (2024)