Learning Safe Neural Network Controllers with Barrier Certificates.

Hengjun Zhao Xia Zeng Taolue Chen Zhiming Liu Jim Woodcock

Published in: CoRR (2020)

Keyphrases

neural network
reinforcement learning
learning algorithm
learning process
learning systems
knowledge acquisition
genetic algorithm
prior knowledge
back propagation
learning problems
mobile learning
feedforward neural networks
data sets
incremental learning
background knowledge
active learning
pattern recognition