@conference{AaCaVaBe-L4DC-2023,
    author    = {Aasi, Erfan and Cai, Mingyu and Vasile, Cristian Ioan and Belta, Calin},
    title     = {{Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees}},
    booktitle = {Learning for Dynamics and Control Conference (L4DC)},
    pages     = {547--559},
    month     = {June},
    address   = {Philadelphia, PA, USA},
    year      = {2023},
    note      = {\href{https://proceedings.mlr.press/v211/aasi23a.html}{link}}
}