Login / Signup
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems.
Hengyang Wu
Yixiang Chen
Tian-Ming Bu
Yuxin Deng
Published in:
Fuzzy Sets Syst. (2018)
Keyphrases
</>
transition systems
concurrent systems
model checking
fuzzy sets
fuzzy logic
temporal logic
finite state
fully observable
control flow
heuristic search
fuzzy set theory
model checker
practical reasoning
planning problems
multi agent
decision problems
search space