[1]
Maggi, F.M., Montali, M. and PeƱaloza, R. 2020. Temporal Logics Over Finite Traces with Uncertainty. Proceedings of the AAAI Conference on Artificial Intelligence. 34, 06 (Apr. 2020), 10218-10225. DOI:https://doi.org/10.1609/aaai.v34i06.6583.