Saveri, Gaia

2 publications

ECML-PKDD 2025 Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers Sara Candussio, Gaia Saveri, Gabriele Sarti, Luca Bortolussi

ECML-PKDD 2024 Retrieval-Augmented Mining of Temporal Logic Specifications from Data Gaia Saveri, Luca Bortolussi