Login / Signup
Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics.
Linh Anh Nguyen
Ngoc Thanh Nguyen
Published in:
CoRR (2021)
Keyphrases
</>
fuzzy sets
fuzzy numbers
fuzzy logic
modal logic
membership functions
fuzzy rules
fuzzy set theory
rough sets
inference rules
transition systems
temporal logic
heuristic search
decision procedures
model checking
finite state
sufficient conditions
concurrent systems
multi agent systems