Logical characterizations of simulation and bisimulation for fuzzy transition systems

Hengyang Wu, Yuxin Deng. Logical characterizations of simulation and bisimulation for fuzzy transition systems. Fuzzy Sets and Systems, 301:19-36, 2016. [doi]

Abstract

Abstract is missing.