Automatic verification of estimate functions with polynomials of bounded functions.

Jun Sawada

Browse the full FMCAD paper archive.