A method of processing signal paths includes receiving an estimated location for a GNSS receiver in an environment. The method also includes generating a plurality of candidate positions about the estimated location where each candidate position corresponds to a possible actual location of the GNSS receiver. The method further includes, for each available satellite at each candidate position, modeling a plurality of candidate signal paths by ray-launching a raster map of geographical data Here, the plurality of candidate signal paths includes one or more reflected signal paths. At each candidate position, the method also includes comparing, the plurality of candidate signal paths modeled for each available satellite at the respective candidate position to measured GNSS signal data from the GNSS receiver and generating a likelihood that the respective candidate position includes the actual location of the GNSS receiver based on the comparison.