stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

Gaia Saveri, Laura Nenzi, Luca Bortolussi +1

Integrating symbolic knowledge and data-driven learning algorithms is a longstanding challenge in Artificial Intelligence. Despite the recognized importance of this task, a notable…