Roy, R.; Gaglione, J.-R.; Baharisangari, N.; Neider, D.; Xu, Z.; Topcu, U. Learning Interpretable Temporal Properties from Positive Examples Only. AAAI 2023, 37, 6507-6515.