Bisimulations for fuzzy transition systems revisited.

Hengyang Wu Taolue Chen Tingting Han Yixiang Chen

Published in: Int. J. Approx. Reason. (2018)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
fuzzy sets
finite state
control flow
fuzzy logic
practical reasoning
fuzzy set theory
case study
search space
hidden markov models
rough sets
heuristic search