A Formal Study of the Doppler Tolerance of Costas and Sudoku Waveforms | IEEE Conference Publication | IEEE Xplore