TITLE = Learning Signal Temporal Logic through Neural Network for Interpretable Classification,
AUTHOR = Li, Danyang and Cai, Mingyu and Vasile, Cristian-Ioan and Tron, Roberto,
BOOKTITLE = 2023 American Control Conference (ACC),
YEAR = 2023,
ORGANIZATION = IEEE