Learning safe neural network controllers with barrier certificates.
Hengjun ZhaoXia ZengTaolue ChenZhiming LiuJim WoodcockPublished in: Formal Aspects Comput. (2021)
Keyphrases
- neural network
- reinforcement learning
- learning algorithm
- learning rules
- learning process
- prior knowledge
- learning problems
- learning systems
- fuzzy neural network
- neural nets
- incremental learning
- learning tasks
- knowledge acquisition
- artificial neural networks
- multi agent
- pattern recognition
- training process
- training data
- adaptive control
- learning capabilities
- cascade correlation