Version space learning for verification on temporal differentials.

Mark Santolucito

Published in: ISSTA (2017)

Keyphrases

version space
active learning
learning process
learning algorithm
learning tasks
reinforcement learning
knowledge acquisition
hypothesis space
training instances
version spaces
decision trees
domain knowledge