Counterexample-Guided Assume-Guarantee Synthesis through Learning.

Shang-Wei Lin Pao-Ann Hsiung

Published in: IEEE Trans. Computers (2011)

Keyphrases

learning scheme
learning algorithm
learning process
supervised learning
model checking
reinforcement learning
learning tasks
incremental learning
real time
data sets
data mining
computer vision
object recognition
prior knowledge
knowledge acquisition
intelligent tutoring systems