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