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