In this tutorial we delve into the foundational elements of ambiguity resolution, which are very important for GNSS high-precision navigation. Attendees will learn a rigorous mathematical framework of integer estimability, including several classes of estimators, as well as validation algorithms for statistical testing of mixed-integer models.
