F. M. Maggi, M. Montali, and R. Peñaloza, “Temporal Logics Over Finite Traces with Uncertainty”, AAAI, vol. 34, no. 06, pp. 10218-10225, Apr. 2020.