Bisimulations for Fuzzy-Transition Systems.

Yongzhi Cao Guoqing Chen Etienne E. Kerre

Published in: IEEE Trans. Fuzzy Syst. (2011)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
fuzzy sets
control flow
finite state
practical reasoning
fuzzy logic
distributed systems
fuzzy set theory
rough sets
artificial intelligence
object oriented
software engineering
domain specific
fuzzy numbers
model checker
social networks