Certifiable Alignment of GNSS and Local Frames via Lagrangian DualitySong, B., Giamou, M., Yan, P., Xia, C., Hsu, L.-T.IEEE Robotics and Automation Letters (2026)journal Q1DOI