A Configurable CEGAR Framework with Interpolation-Based Refinements.

Ákos Hajdu Tamás Tóth András Vörös István Majzik

Published in: FORTE (2016)

Keyphrases

main contribution
databases
data mining
machine learning
multi agent
computational framework
real time
neural network
artificial intelligence
social networks
information systems
database systems
search algorithm
high resolution
theoretical framework
framework enables