Maggi, F. M.; Montali, M.; Peñaloza, R. Temporal Logics Over Finite Traces With Uncertainty. AAAI 2020, 34, 10218-10225.