TY - RPRT TI - Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift AU - Devansh R. Agrawal AU - Taekyung Kim AU - Rajiv Govindjee AU - Trushant Adeshara AU - Jiangbo Yu AU - Anurekha Ravikumar AU - Dimitra Panagou PY - 2025 UR - https://arxiv.org/abs/2504.18713 ID - 2504.18713 ER -