Progressive Gaussian filtering using explicit likelihoods | IEEE Conference Publication | IEEE Xplore