TY - RPRT TI - Certifiably Correct Range-Aided SLAM AU - Papalia, Alan (ORCID:000000026922135X) AU - Fishberg, Andrew (ORCID:0000000245893792) AU - O'Neill, Brendan (ORCID:0000000324914571) AU - How, Jonathan (ORCID:0000000185761930) AU - Rosen, David (ORCID:0000000189641602) AU - Leonard, John (ORCID:0000000288636550) PY - 2024 DO - 10.1109/tro.2024.3454430 UR - https://www.osti.gov/biblio/2579876 ID - 2579876 ER -