Widening as Abstract Domain.

Bogdan Mihaila Alexander Sepp Axel Simon

Published in: NASA Formal Methods (2013)

Keyphrases

domain experts
domain specific
higher level
data structure
cooperative
domain independent
case based reasoning
database
lower bound
blocks world
temporal abstractions
wireless sensor networks
domain knowledge
relational databases
preprocessing
bayesian networks
high level
real world
databases
data sets
real time