Prediction, filtering and smoothing using LSCR: State estimation algorithms with guaranteed confidence sets | IEEE Conference Publication | IEEE Xplore