Neural Networks for Runtime Verification.
Alan PerottiArtur S. d'Avila GarcezGuido BoellaPublished in: IJCNN (2014)
Keyphrases
- neural network
- pattern recognition
- model checking
- neural nets
- genetic algorithm
- artificial neural networks
- neural network model
- self organizing maps
- fuzzy logic
- rough sets
- back propagation
- fault diagnosis
- databases
- multilayer perceptron
- recurrent neural networks
- asynchronous circuits
- formal verification
- signature verification
- network architecture
- face verification
- formal analysis
- verification method
- image processing
- competitive learning
- training algorithm
- machine learning
- associative memory
- learning algorithm