Extended Existence Probability Using Digital Maps for Object Verification | IEEE Conference Publication | IEEE Xplore