Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
Temporal Logic Inference
Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees
Classification of Time-Series Data Using Boosted Decision Trees
A Decision Tree Approach to Data Classification using Signal Temporal Logic
Giuseppe Bombara, Cristian-Ioan Vasile, Francisco Penedo Alvarez, Yasuoka Hirotoshi, and Calin Belta. A Decision Tree Approach to Data Classification using Signal Temporal Logic. In Hybrid Systems: Computation and Control (HSCC), pages 1–10, Vienna, Austria, April 2016. doi:10.1145/2883817.2883843.
