Kaier Liang, Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile: Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation. CDC 2024: 8332-8337