Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications.
Dario GuidottiLaura PandolfoLuca PulinaPublished in: Inf. (2023)
Keyphrases
- neural network
- sat instances
- quantified boolean formulas
- pattern recognition
- formal methods
- theoretical framework
- satisfiability problem
- artificial neural networks
- fuzzy logic
- decision trees
- sat solving
- genetic algorithm
- back propagation
- np complete
- multi layer
- predictive model
- signature verification
- asynchronous circuits
- verification method