Your understanding is correct. It's about detecting variations in dielectric properties across layer interfaces. GPR works just fine for that, whether here or on Mars. The other commenter's negativity and theorized worries about side lobes and reflectors are unwarranted.