The document discusses modifications needed to beam steering algorithms when using a dielectric lens with an antenna array. It describes using ray tracing to model the refraction of signals through the lens, which is needed to compensate for the virtual angles measured by the antenna elements. Backward ray tracing is used to determine the true arrival angles from the virtual angles. The critical angle of the lens is analyzed, above which signals will be totally internally reflected rather than reaching the antennas. The MUSIC algorithm is investigated as an example, with modifications to the steering vector to estimate the correct directions of arrival when a lens is used.