R. Roy, J.-R. Gaglione, N. Baharisangari, D. Neider, Z. Xu, and U. Topcu, “Learning Interpretable Temporal Properties from Positive Examples Only”, AAAI, vol. 37, no. 5, pp. 6507-6515, Jun. 2023.