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

Ma, Zhanyou ; Li, Xia ; Liu, Ziyuan ; Huang, Ruiqi ; He, Nana

Fuzzy sets and systems, 2024-06, Vol.485, Article 108966 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível