CVC: A Cooperating Validity Checker.

Aaron Stump Clark W. Barrett David L. Dill

Published in: CAV (2002)

Keyphrases

cooperative
pattern recognition
exchange information
genetic algorithm
information systems
reinforcement learning
image analysis
high resolution
query language