HD Map Change Detection with a Boosted Particle Filter | IEEE Conference Publication | IEEE Xplore