Is H∞ filtering relevant for correlated noises in GPS navigation? | IEEE Conference Publication | IEEE Xplore