Abstract

STENDHAL mira a far progredire la teoria e l'implementazione delle logiche spaziali. In primo luogo, abilitando l'analisi spazio-temporale in sequenze di immagini. In secondo luogo, integrando la verifica di modelli spaziali con le reti neurali, combinando la precisione di queste ultime con il monitoraggio basato sulle conoscenze degli esperti (protocolli, linee guida, proprietà di sicurezza). Gli strumenti di verifica così sviluppati saranno testati in ambito sanitario (es. per l’analisi di video, il contornamento, e studi longitudinali) e nei sistemi ciberfisici.

Partenariato

• Università degli Studi di Pisa (PI)
• Consiglio Nazionale delle Ricerche di Roma

Importo del progetto

Importo totale del progetto        Euro 200.000
Importo del progetto Uniud        Euro 54.000
Finanziamento Uniud                Euro 60.000

Durata

• Data avvio progetto 28/09/2023
• Data conclusione progetto 28/09/2025

Link

https://prin-stendhal.github.io