Safety Verification for Deep Neural Networks with Provable Guarantees (Invited Paper).
Marta Z. KwiatkowskaPublished in: CONCUR (2019)
Keyphrases
- invited paper
- neural network
- model checking
- safety analysis
- pattern recognition
- neural network model
- fault diagnosis
- self organizing maps
- genetic algorithm
- approximation guarantees
- neural nets
- databases
- nuclear power plant
- verification method
- formal verification
- multi layer
- back propagation
- formal methods
- information systems
- real world
- recurrent neural networks
- feed forward
- computer science