Abstract

Il progetto ENTAIL sviluppa un framework innovativo che integra runtime verification e machine learning per il monitoraggio avanzato di sistemi critici. Estendendo il software BLACK, ENTAIL migliora l'identificazione di fallimenti, anomalie e cali di performance, offrendo soluzioni robuste e interpretabili per le aziende.

Gruppo di ricerca

• Luca Geatti (PI)
• Andrea Brunello
• Nicola Saccomanno
• Silvia Zottin
• Maria Grazia Berni

Importo

39.500,00 €

Durata

Data di avvio:  luglio 2024

Data di conclusione: 30 giugno 2025

Scheda

Vedi la scheda di progetto