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]

Authors

Hengyang Wu

This author has not been identified. Look up 'Hengyang Wu' in Google

Yuxin Deng

This author has not been identified. Look up 'Yuxin Deng' in Google