Learning-Based Assume-Guarantee Verification (Tool Paper).

Dimitra Giannakopoulou Corina S. Pasareanu

Published in: SPIN (2005)

Keyphrases

learning algorithm
learning process
knowledge acquisition
learning systems
reinforcement learning
database
machine learning
mobile learning
prior knowledge
multi agent
learning analytics
incremental learning
learning tasks
face recognition
database systems
metadata
data sets