Stochastic localization of sources with convergence guarantees | IEEE Conference Publication | IEEE Xplore