Mathematical-based benchmarking and performance improvement for ANT exploration algorithm | IEEE Conference Publication | IEEE Xplore