Quantitative Verification for Neural Networks using ProbStars.
Hoang-Dung TranSungwoo ChoiHideki OkamotoBardh HoxhaGeorgios FainekosDanil V. ProkhorovPublished in: HSCC (2023)
Keyphrases
- neural network
- artificial neural networks
- pattern recognition
- fuzzy logic
- model checking
- genetic algorithm
- training process
- neural network model
- formal verification
- multi layer
- multilayer perceptron
- self organizing maps
- fault diagnosis
- neural network is trained
- concurrent systems
- formal methods
- fuzzy systems
- back propagation
- feed forward
- recurrent neural networks
- image sequences
- website
- hidden layer
- activation function
- competitive learning
- information retrieval
- asynchronous circuits
- data sets
- radial basis function