Correctness-by-Learning of Infinite-State Component-Based Systems.

Haitham Bou-Ammar Mohamad Jaber Mohamed Nassar

Published in: FACS (2017)

Keyphrases

learning systems
learning algorithm
learning process
knowledge acquisition
data mining
online learning
computer vision
prior knowledge
learning experience
incremental learning
metadata
bayesian networks
artificial neural networks
active learning
complex systems