APA (7th ed.) Citation

Saveri, G., Nenzi, L., Bortolussi, L., & Křetínský, J. (2024). stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic.

Chicago Style (17th ed.) Citation

Saveri, Gaia, Laura Nenzi, Luca Bortolussi, and Jan Křetínský. Stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. 2024.

MLA (9th ed.) Citation

Saveri, Gaia, et al. Stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. 2024.