D. de Leng and F. Heintz, “Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty”, AAAI, vol. 33, no. 01, pp. 2760–2767, Jul. 2019.