External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

Gaia Saveri, Laura Nenzi, Luca Bortolussi, Jan Kretínský. stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic. In Ulle Endriss, Francisco S. Melo, Kerstin Bach, Alberto José Bugarín Diz, Jose Maria Alonso-Moral, Senén Barro, Fredrik Heintz, editors, ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024). Volume 392 of Frontiers in Artificial Intelligence and Applications, pages 1381-1388, IOS Press, 2024. [doi]

Authors

Gaia Saveri

This author has not been identified. Look up 'Gaia Saveri' in Google

Laura Nenzi

This author has not been identified. Look up 'Laura Nenzi' in Google

Luca Bortolussi

This author has not been identified. Look up 'Luca Bortolussi' in Google

Jan Kretínský

This author has not been identified. Look up 'Jan Kretínský' in Google
runs on