Verification of Fuzzy Decision Trees.
Jack H. GoodNicholas GisolfiJames Kyle MillerArtur DubrawskiPublished in: IEEE Trans. Software Eng. (2023)
Keyphrases
- fuzzy decision trees
- decision trees
- fuzzy sets
- model checking
- fuzzy rules
- formal verification
- concurrent systems
- computer vision
- verification method
- image processing
- neuro fuzzy
- face verification
- classification rules
- signature verification
- formal methods
- temporal logic
- neural network
- genetic programming
- pattern recognition
- real world