Computing methodologies

Luca Geretti
Ricercatore a tempo determinato
Competenze
Argomento Persone Descrizione
Sistemi neurosimbolici Luca Geretti
Studio di tecniche di verifica, sintesi e pianificazione per sistemi dinamici continui ed ibridi con la presenza di componenti basate su reti neurali. Focalizzazione su approcci concorrenti e distribuiti.

Attività

Strutture

Condividi