A Provably Convergent Projected Gradient-Type Algorithm for TDOA-Based Geolocation Under the Quasi-Parabolic Ionosphere Model | IEEE Journals & Magazine | IEEE Xplore