@inbook{Candussio_2025,
   title={Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers},
   ISBN={9783032060969},
   ISSN={1611-3349},
   url={http://dx.doi.org/10.1007/978-3-032-06096-9_1},
   DOI={10.1007/978-3-032-06096-9_1},
   booktitle={Machine Learning and Knowledge Discovery in Databases. Research Track},
   publisher={Springer Nature Switzerland},
   author={Candussio, Sara and Saveri, Gaia and Sarti, Gabriele and Bortolussi, Luca},
   year={2025},
   month=sep, pages={3–18} }