| Topic | People | Description |
|---|---|---|
| Neurosymbolic systems |
Luca Geretti
|
Study of techniques related to the verification, synthesis and planning for continuous and hybrid dynamical systems with the presence of neural network components. Focus on concurrent and distributed approaches |
Strada le Grazie 15
37134 Verona
VAT number01541040232
Italian Fiscal Code93009870234
© 2026 | Verona University
******** CSS e script comuni siti DOL - frase 9957 ********
