TY  - RPRT
TI  - stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
AU  - Gaia Saveri
AU  - Laura Nenzi
AU  - Luca Bortolussi
AU  - Jan Křetínský
PY  - 2024
UR  - https://arxiv.org/abs/2405.14389
ID  - 2405.14389
ER  -