Offline Timed Pattern Matching under Uncertainty | IEEE Conference Publication | IEEE Xplore