Temporal Logic Inference
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.
![Subscribe to RSS - Temporal Logic Inference](https://cristianvasile.com/misc/feed.png)