Efficient Temporal Reasoning with Uncertainty. - Nilsson, Mikael. (Linköping Studies in Science and Technology. Thesis Series, 2015)