Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation

Open in new window