CTL Symbolic Model Checking Based on Fuzzy Logic.
Pengzhan NieJiulei JiangZhanyou MaPublished in: DASC/PiCom/CBDCom/CyberSciTech (2020)
Keyphrases
- symbolic model checking
- fuzzy logic
- model checking
- temporal logic
- partial observability
- formal verification
- model checker
- neural network
- conformant planning
- fuzzy sets
- expert systems
- computational intelligence
- control system
- fuzzy set theory
- symbolic representation
- genetic algorithm
- binary decision diagrams
- decision making
- artificial intelligence
- formal specification
- fuzzy rules
- orders of magnitude
- rough sets
- formal methods
- finite state
- modal logic
- machine learning
- data mining