Return to Article Details Learning Interpretable Models Expressed in Linear Temporal Logic Download Download PDF