A numerical evaluation method of the revised ACAS algorithms using a smoothed spline interpolation | IEEE Conference Publication | IEEE Xplore