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

Kaier Liang, Gustavo a Cardona, Disha Kamale, Cristian-Ioan Vasile

January, 2024