Our paper on Certifiably-Correct Mapping is accepted at RSS 2025