Cited By
View all- Alwhishi GBentahar JElwhishi APedrycz W(2024)Multi-valued verification of commitment systems with uncertainty and inconsistency in multi-source data settingsInformation Fusion10.1016/j.inffus.2024.102502(102502)Online publication date: Jun-2024
- Alwhishi GBentahar JElwhishi APedrycz WDrawel N(2024)Multi-valued model checking IoT and intelligent systems with commitment protocols in multi-source data environmentsInformation Fusion10.1016/j.inffus.2023.102048102(102048)Online publication date: Feb-2024
- Ma ZLi XLiu ZHuang RHe N(2024)Model Checking Fuzzy Computation Tree Logic of Multi-Agent Systems Based on Fuzzy Interpreted SystemsFuzzy Sets and Systems10.1016/j.fss.2024.108966(108966)Online publication date: Apr-2024
- Show More Cited By