Quantitative Verification with Neural Networks.
Alessandro AbateAlec EdwardsMirco GiacobbeHashan PunchihewaDiptarko RoyPublished in: CONCUR (2023)
Keyphrases
- neural network
- model checking
- quantitative and qualitative
- pattern recognition
- feed forward
- qualitative and quantitative
- neural network model
- fuzzy logic
- artificial neural networks
- genetic algorithm
- concurrent systems
- verification method
- formal verification
- rule extraction
- face verification
- computer vision
- data sets
- fault diagnosis
- back propagation
- recurrent neural networks
- multilayer perceptron
- training process
- formal analysis
- image processing
- signature verification
- web services
- quantitative measures