Structure-aware computation of predicate abstraction.

Alessandro Cimatti Jori Dubrovin Tommi A. Junttila Marco Roveri

Published in: FMCAD (2009)

Keyphrases

multi agent
structural information
image segmentation
real world
genetic algorithm
knowledge base
objective function
high dimensional
relational databases
low level
state space