Logic-based sensor fusion for localization | IEEE Conference Publication | IEEE Xplore