Inferring Definite Counterexamples through Under-Approximation.

Jörg Brauer Axel Simon

Published in: NASA Formal Methods (2012)

Keyphrases

approximation error
approximation algorithms
closed form
error bounds
database
data sets
neural network
real world
machine learning
artificial intelligence
image processing
multi agent
search algorithm