Classification of Time-Series Data Using Boosted Decision Trees
Not on the map. Why?
Abstract (arXiv)
Time-series data classification is central to the analysis and control of autonomous systems, such as robots and self-driving cars. Temporal logic-based learning algorithms have been proposed recently as classifiers of such data. However, current frameworks are either inaccurate for real-world applications, such as autonomous driving, or they generate long and complicated formulae that lack interpretability. To address these limitations, we introduce a novel learning method, called Boosted Concise Decision Trees (BCDTs), to generate binary classifiers that are represented as Signal Temporal Logic (STL) formulae. Our algorithm leverages an ensemble of Concise Decision Trees (CDTs) to improve the classification performance, where each CDT is a decision tree that is empowered by a set of techniques to generate simpler formulae and improve interpretability. The effectiveness and classification performance of our algorithm are evaluated on naval surveillance and urban-driving case studies.
Key facts. Cited by 9 papers in the map (data through 7 Oct 2026). Builds on 7 of its 28 references that are in the map. First posted on arXiv 1 Oct 2021.
Builds on
7 of 28 references.
References · 7
- 2017CARLA: An Open Urban Driving Simulatorcited by 2,431
- 2018Learning Linear Temporal Propertiescited by 41
- 2020Specifying User Preferences using Weighted Signal Temporal Logiccited by 22
- 2019Interpretable Classification of Time-Series Data using Efficient Enumerative Techniquescited by 19
- 2015Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systemscited by 16
- 2018Information-Guided Temporal Logic Inference with Prior Knowledgecited by 12
- 2016Logic-based Clustering and Learning for Time-Series Datacited by 7
Built on by
Citing papers per year: 2021: 2; 2022: 1; 2023: 1; 2024: 4; 2025: 0; 2026: 1.
9 papers.
- 2022Learning Signal Temporal Logic through Neural Network for Interpretable Classificationcited by 10
- 2024TLINet: Differentiable Neural Network Temporal Logic Inferencecited by 8
- 2023STL: Surprisingly Tricky Logic (for System Validation)cited by 2
- 2024Interpretable Imitation Learning via Generative Adversarial STL Inference and Controlcited by 2
- 2024Multi-class Temporal Logic Neural Networkscited by 2
- 2021Learning Spatio-Temporal Specifications for Dynamical Systemscited by 1
- 2026Conformalized Signal Temporal Logic Inference under Covariate Shiftcited by 1
- 2021Time-Incremental Learning from Data Using Temporal Logicscited by 0
- 2024Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulationcited by 0
- 2026Conformalized Signal Temporal Logic Inference under Covariate Shift28 Mar 2026
- 2024Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation30 Jul 2024
- 2024TLINet: Differentiable Neural Network Temporal Logic Inference3 May 2024
- 2024Multi-class Temporal Logic Neural Networks17 Feb 2024
- 2024Interpretable Imitation Learning via Generative Adversarial STL Inference and Control15 Feb 2024
- 2023STL: Surprisingly Tricky Logic (for System Validation)26 May 2023
- 2022Learning Signal Temporal Logic through Neural Network for Interpretable Classification4 Oct 2022
- 2021Time-Incremental Learning from Data Using Temporal Logics28 Dec 2021
- 2021Learning Spatio-Temporal Specifications for Dynamical Systems20 Dec 2021