Verification of Neural Network Control Policy Under Persistent Adversarial Perturbation.
Yuh-Shyang WangTsui-Wei WengLuca DanielPublished in: CoRR (2019)
Keyphrases
- control policy
- neural network
- long run
- control policies
- reinforcement learning
- approximate dynamic programming
- admission control
- fuzzy artmap
- bp neural network
- network architecture
- model checking
- neural network is trained
- average cost
- back propagation
- feed forward
- neural network model
- multi agent
- pattern recognition
- artificial neural networks
- real time
- genetic algorithm
- multi layer perceptron
- face verification
- infinite horizon
- search space
- fuzzy logic
- fault diagnosis
- multi layer
- neural nets
- prediction model
- recurrent neural networks