Login / Signup
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation.
Kaier Liang
Gustavo A. Cardona
Disha Kamale
Cristian-Ioan Vasile
Published in:
CoRR (2024)
Keyphrases
</>
temporal logic
decision trees
machine learning
model checking
learning algorithm
max flow
supervised learning
text classification
machine learning algorithms
learning problems
dynamic programming
linear programming
kernel function
linear program
learning tasks
kernel learning
support vector