Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems.

Hengyang Wu Yuxin Deng

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

Keyphrases

transition systems
finite state
model checking
concurrent systems
fully observable
temporal logic
fuzzy sets
fuzzy logic
markov chain
fuzzy set theory
fuzzy numbers
control flow
sufficient conditions
markov decision processes
goal state
reactive systems