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