Weighted Envelope Correlation-Based Waveform Inversion Using Automatic Differentiation | IEEE Journals & Magazine | IEEE Xplore