We are sending spider robots to the moon in 2021 that will eventually map lava tubes to build lunar bases using LIDAR

https://www.tomsguide.com/news/we-are-sending-spider-robots-to-the-moon-in-2021