Martian Exploration of Lava Tubes (MELT) with ReachBot: Scientific Investigation and Concept of Operations. - Julia Di; Sara Cuevas-Quinones; Stephanie Newdick; Tony G. Chen; Marco Pavone 001; Mathieu G. A. Lapôtre; Mark R. Cutkosky (CoRR, 2024)