Why does Astrée scale up?

Patrick Cousot Radhia Cousot Jérôme Feret Laurent Mauborgne Antoine Miné Xavier Rival

Published in: Formal Methods Syst. Des. (2009)

Keyphrases

scale space
multiscale
artificial intelligence
small scale
scale invariant
scale invariance
machine learning
computer vision
decision making
image processing
decision trees
artificial neural networks