Laser-based instruments operating on the time of flight principle for determining the distance from an observer to particular objects; used for topographic measurement as used, for example, by space probes to profile the surface of Mars.