Real-time uncertainty quantification using correlated noise models for GNSS positioning | IEEE Conference Publication | IEEE Xplore