Computing behavioural distance for fuzzy transition systems.

Tian-Ming Bu Hengyang Wu Yixiang Chen

Published in: TASE (2017)

Keyphrases

transition systems
model checking
concurrent systems
fuzzy sets
temporal logic
fuzzy logic
finite state
reactive systems
fuzzy set theory
practical reasoning
control flow
artificial intelligence
domain specific
sufficient conditions
test set
fuzzy numbers