Chuang Lin, Zhiguang Shan, Ting Liu, Yang Qu, Fengyuan Ren. Modeling and Inference of Extended Interval Temporal Logic for Nondeterministic Intervals. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 35(5):682-696, 2005. [doi]
Abstract is missing.