Sign in
ε-Approximate Bisimulations for Nondeterministic Fuzzy Kripke Structures.
Yucheng Liu
Published in:
NCTCS (2023)
Keyphrases
</>
fuzzy sets
fuzzy logic
desirable properties
fuzzy numbers
fuzzy rules
fuzzy clustering
finite state
finite automata
model checking
fuzzy set theory
modal logic
fuzzy classification
database
fuzzy controller
soft computing
temporal logic
machine learning
real time