Sign in
Interpolant-Based Transition Relation Approximation.
Ranjit Jhala
Kenneth L. McMillan
Published in:
Log. Methods Comput. Sci. (2007)
Keyphrases
</>
closed form
approximation error
approximation algorithms
relative error
approximation methods
upper approximation
neural network
error bounds
exact computation
gaussian convolution