A. Camacho and S. A. McIlraith, “Learning Interpretable Models Expressed in Linear Temporal Logic”, ICAPS, vol. 29, no. 1, pp. 621-630, May 2021.