Methods and apparatus for determining a precise position of a rover located within a region are presented using rover observations comprising code observations and carrier-phase observations of GNSS signals on at least two carrier frequencies over multiple epochs. Correction data is received for each of the epochs at least one code bias per satellite. Synthetic reference data is generated for each of the epochs from the correction data for a synthetic station location. A determination is made for each epoch whether a cycle slip has occurred. Upon determining that a cycle slip has occurred, values of any variables of a set of state variables which are affected by the cycle slip are reset. Each epoch of rover observations and correction data is used to estimate updated values for the set of state variables including a set of ambiguities and coordinates of a precise rover position.