Certifiable Alignment of GNSS and Local Frames via Lagrangian DualityBaoshan Song, Matthew Giamou, Penggao Yan, Chunxi Xia, Li-Ta HsuIEEE Robotics and Automation Letters (2026)journal Q1DOI