Compositional Learning and Verification of Neural Network Controllers.
Radoslav IvanovKishor JothimuruganSteve HsuShaan VaidyaRajeev AlurOsbert BastaniPublished in: ACM Trans. Embed. Comput. Syst. (2021)
Keyphrases
- neural network
- learning process
- learning algorithm
- learning systems
- reinforcement learning
- learning rules
- learning tasks
- learning problems
- supervised learning
- unsupervised learning
- prediction model
- neural nets
- neural network is trained
- inductive inference
- learning scheme
- training process
- incremental learning
- knowledge acquisition
- active learning
- artificial neural networks
- genetic algorithm