Formal basis for algorithm comparisons in stochastic optimization | IEEE Conference Publication | IEEE Xplore