Lazy Abstraction with Interpolants for Arrays.

Francesco Alberti Roberto Bruttomesso Silvio Ghilardi Silvio Ranise Natasha Sharygina

Published in: LPAR (2012)

Keyphrases

high level
computational geometry
data abstraction
bayesian networks
real time
decision trees
multiscale
database
feature selection
database systems
search algorithm
state abstraction