pyNeVer: A Framework for Learning and Verification of Neural Networks.
Dario GuidottiLuca PulinaArmando TacchellaPublished in: ATVA (2021)
Keyphrases
- neural network
- learning tasks
- prior knowledge
- learning scheme
- main contribution
- feedforward neural networks
- learning capabilities
- learning mechanism
- learning systems
- online learning
- active learning
- learning algorithm
- supervised learning
- model checking
- learning problems
- design principles
- learning process
- pattern recognition
- multi agent