Symbolic Verification of Fuzzy Logic Models.
Siang ZhaoZhongyang LiZhenbang ChenJi WangPublished in: ASE (2023)
Keyphrases
- fuzzy logic
- statistical models
- complex systems
- parameter estimation
- autoregressive
- database
- model checking
- three dimensional
- neural network
- high level
- image sequences
- expert systems
- control system
- fuzzy sets
- web services
- machine learning algorithms
- back propagation
- artificial intelligence
- statistical model
- genetic algorithm
- information retrieval
- evolutionary computation