CANDUSSIO, SARA
CANDUSSIO, SARA
Università degli Studi di Trieste
Collaboratori
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
| Titolo | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers | 1-gen-2026 | Candussio S.Saveri G.Bortolussi L. + |