Roy, R., J.-R. Gaglione, N. Baharisangari, D. Neider, Z. Xu, and U. Topcu. “Learning Interpretable Temporal Properties from Positive Examples Only”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 5, June 2023, pp. 6507-15, doi:10.1609/aaai.v37i5.25800.