Uplink-Aided Downlink Channel Estimation for a High-Mobility Massive MIMO-OTFS System | IEEE Conference Publication | IEEE Xplore