Learning Safe Neural Network Controllers with Barrier Certificates.

Hengjun Zhao Xia Zeng Taolue Chen Zhiming Liu Jim Woodcock

Published in: SETTA (2020)

Keyphrases

neural network
learning process
learning algorithm
reinforcement learning
control system
access control
unsupervised learning
learning tasks
neural nets
learning rules
data sets
bayesian networks
back propagation
learning systems
fault diagnosis
incremental learning