Certifiably Correct Range-Aided SLAM - Papalia, Alan (2023)