Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees.
Shaoru ChenLekan P. MoluMahyar FazlyabPublished in: CoRR (2024)
Keyphrases
- neural network
- learning process
- learning algorithm
- learning systems
- unsupervised learning
- online learning
- active learning
- data sets
- learning problems
- incremental learning
- feedforward neural networks
- artificial neural networks
- pattern recognition
- e learning
- model checking
- recurrent neural networks
- neural nets
- multi layer