Camacho A, McIlraith SA. Learning Interpretable Models Expressed in Linear Temporal Logic. ICAPS [Internet]. 2019 Jul. 5 [cited 2026 May 20];29(1):621-30. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/3529