Abstract: In this article, we present GIVL-SLAM, a factor graph optimization-based framework that tightly fuses double-differenced pseudorange and carrier phase observations of the GNSS with inertial, ...