Roy, Rajarshi, Jean-Raphaël Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, and Ufuk Topcu. 2023. “Learning Interpretable Temporal Properties from Positive Examples Only”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (5):6507-15. https://doi.org/10.1609/aaai.v37i5.25800.