Erfan Aasi, Mingyu Cai, Cristian Ioan Vasile, Calin Belta. Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees. In Nikolai Matni, Manfred Morari, George J. Pappas, editors, Learning for Dynamics and Control Conference, L4DC 2023, 15-16 June 2023, Philadelphia, PA, USA. Volume 211 of Proceedings of Machine Learning Research, pages 547-559, PMLR, 2023. [doi]