IRS-aided Predictable High-Mobility Vehicular Communication with Doppler Effect Mitigation | IEEE Conference Publication | IEEE Xplore