Safety Verification of Neural Network Controlled Systems.
Arthur ClavièreEric AsselinChristophe GarionClaire PagettiPublished in: CoRR (2020)
Keyphrases
- neural network
- safety analysis
- distributed systems
- asynchronous circuits
- complex systems
- genetic algorithm
- artificial intelligence
- artificial neural networks
- management system
- formal methods
- recurrent neural networks
- intelligent systems
- multi layer
- model checking
- knowledge based systems
- database
- data mining
- data sets