@conference{Va-ACC-2023,
    author    = {Li, Danyang and Cai, Mingyu and Vasile, Cristian Ioan and Tron, Roberto},
    title     = {{Learning Signal Temporal Logic through Neural Network for Interpretable Classification}},
    booktitle = {American Control Conference (ACC)},
    pages     = {1907--1914},
    month     = {May},
    address   = {San Diego, California, USA},
    year      = {2023},
    note      = {\href{https://ieeexplore.ieee.org/abstract/document/10156357}{doi:10.23919/ACC55779.2023.10156357}}
}