Fast Neural Network Verification via Shadow Prices.
Vicenç Rúbies RoyoRoberto CalandraDusan M. StipanovicClaire J. TomlinPublished in: CoRR (2019)
Keyphrases
- neural network
- artificial neural networks
- model checking
- light source
- neural network model
- verification method
- back propagation
- neural network is trained
- feed forward
- pattern recognition
- fuzzy neural network
- market data
- genetic algorithm
- fuzzy artmap
- auto associative
- shadow detection
- dynamic pricing
- long run
- activation function
- multi layer perceptron
- fault diagnosis
- network architecture
- training algorithm
- feed forward neural networks
- formal verification
- hidden layer
- multi layer
- neural nets
- asynchronous circuits
- associative memory
- shadow removal
- competitive market
- recurrent neural networks
- backpropagation neural network
- single image