IRS-Assisted High Mobility Communications Using OTFS Modulation | IEEE Journals & Magazine | IEEE Xplore