Camacho, A.; McIlraith, S. A. Learning Interpretable Models Expressed in Linear Temporal Logic. ICAPS 2021, 29, 621-630.