Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.

Published in: VMCAI (2006)

Keyphrases

benchmark datasets
precision and recall
empirical studies
search methods
methods require
real world
reinforcement learning
computational cost
state space
application domains
optimization methods