Computing Funnels Using Numerical Optimization Based Falsifiers | IEEE Conference Publication | IEEE Xplore