Login / Signup
A Behavioral Distance for Fuzzy-Transition Systems
Yongzhi Cao
Huaiqing Wang
Sherry X. Sun
Guoqing Chen
Published in:
CoRR (2011)
Keyphrases
</>
transition systems
model checking
concurrent systems
fuzzy sets
temporal logic
fuzzy logic
finite state
fuzzy numbers
fuzzy set theory
practical reasoning
control flow
artificial intelligence
web services
multi agent systems
markov chain
model checker