Laser altimeters are commonly used in planetary research for their high geodetic accuracy. A key procedure processing of laser altimeter data is the geolocation. In this process, time-of-flight measurements converted to coordinates pulse footprints on surface target body. Here, we present a consistent and systematic formulation three geolocation models with increasing complexity: static model, ...