Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
Nov 24, 2025·
·
1 min read
Sara Candussio
Abstract
Poster presentation of our ECML-PKDD 2025 paper on decoding Signal Temporal Logic embeddings via Transformer-based architectures. The symposium brought together PhD students and faculty from the Max Planck Institute and Saarland University for a week of research presentations, brainstorming sessions, and collaboration. Guest talks included Mor Geva Pipek and Luca Bortolussi.
Date
Nov 24, 2025 — Nov 28, 2025
Event
Location
Schloss Dagstuhl – Leibniz Center for Informatics
Wadern,
Poster presentation of our ECML-PKDD 2025 paper at the RTG Symposium, held at the legendary Schloss Dagstuhl — a week-long gathering of PhD researchers from Max Planck Institute and Saarland University, with guest talks by Mor Geva Pipek and Luca Bortolussi.
