Sign in
Predicate Abstraction with Under-Approximation Refinement.
Corina S. Pasareanu
Radek Pelánek
Willem Visser
Published in:
Log. Methods Comput. Sci. (2007)
Keyphrases
</>
high level
approximation algorithms
database
image segmentation
first order logic
error bounds
machine learning
closed form
queueing networks
approximation methods
approximation schemes