Computing crisp simulations for fuzzy labeled transition systems.

Linh Anh Nguyen

Published in: J. Intell. Fuzzy Syst. (2022)

Keyphrases

transition systems
fuzzy sets
fuzzy numbers
fuzzy logic
fuzzy information
concurrent systems
model checking
fuzzy set theory
rough sets
temporal logic
finite state
control flow
practical reasoning
training set
linear programming
markov models