SAVERI, GAIA
SAVERI, GAIA
Dipartimento di Matematica, Informatica e Geoscienze
Altri
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.003 secondi).
ECATS: Explainable-by-Design Concept-Based Anomaly Detection for Time Series
2024-01-01 Ferfoglia, Irene; Saveri, Gaia; Nenzi, Laura; Bortolussi, Luca
Is Machine Learning Model Checking Privacy Preserving?
2024-01-01 Bortolussi, Luca; Nenzi, Laura; Saveri, Gaia; Silvetti, Simone
stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
2024-01-01 Saveri, Gaia; Nenzi, Laura; Bortolussi, Luca; Křetínský, Jan