Neural Network Control Policy Verification With Persistent Adversarial Perturbation.
Yuh-Shyang WangLily WengLuca DanielPublished in: ICML (2020)
Keyphrases
- control policy
- neural network
- long run
- reinforcement learning
- control policies
- approximate dynamic programming
- admission control
- neural network model
- model checking
- feed forward
- batch mode
- genetic algorithm
- multi agent
- artificial neural networks
- neural network is trained
- back propagation
- pattern recognition
- multi layer
- fault diagnosis
- fuzzy logic
- self organizing maps
- fuzzy artmap
- neural nets
- real time
- face verification
- average cost
- formal verification
- multi layer perceptron
- recurrent neural networks
- learning vector quantization
- radial basis function
- machine learning
- optimal policy