First results on formal comparison of several stochastic optimization algorithms | IEEE Conference Publication | IEEE Xplore