Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems

Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng. Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Fuzzy Sets and Systems, 333:106-123, 2018. [doi]

Abstract

Abstract is missing.