Coverage Probability Analysis of RIS-Assisted High-Speed Train Communications | IEEE Conference Publication | IEEE Xplore