Symbolic checking of Fuzzy CTL on Fuzzy Program Graph.

Masoud Ebrahimi Gholamreza Sotudeh Ali Movaghar

Published in: Acta Informatica (2019)

Keyphrases

fuzzy sets
membership functions
fuzzy logic
fuzzy numbers
random walk
fuzzy systems
fuzzy set theory
multi criteria
fuzzy controller
symbolic data
neural network
fuzzy clustering
temporal logic
fuzzy rules
model checking
structured data
bayesian networks
high level