TY  - RPRT
TI  - Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
AU  - Kaier Liang
AU  - Gustavo A. Cardona
AU  - Disha Kamale
AU  - Cristian-Ioan Vasile
PY  - 2024
UR  - https://arxiv.org/abs/2407.21090
ID  - 2407.21090
ER  -